- Proof reflection in Coq Dimitri Hendriks (dimitri.hendriks@phil.uu.nl)
- Productivity of Stream Definitions # Jorg Endrullis 1 , Clemens Grabmayer 3 , Dimitri Hendriks 1 ,
- On the Mechanization of the Proof of Hessenberg's Theorem
- Automated Proof Construction in Type Theory using Marc Bezem (bezem@ii.uib.no)
- The ThueMorse Sequence in Coq or: how to bypass guardedness
- Theoretical Computer Science 411 (2010) 765782 Contents lists available at ScienceDirect
- Clausification of First-Order Formulae, Representation & Correctness in Type Theory
- Dimitri Hendriks and Vincent van Oostrom Department of Philosophy, Universiteit Utrecht
- Dimitri Hendriks and Vincent van Oostrom Department of Philosophy, Universiteit Utrecht
- On the Mechanization of the Proof of Hessenberg's Theorem
- Clausi cation of First-Order Formulae, Representation & Correctness in Type Theory
- Automated Proof Construction in Type Theory using Resolution y
- Data-Oblivious Stream Productivity Jorg Endrullis1
- Infinite streams Jorg Endrullis
- On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic
- Page 1 of 43 Full Screen
- Proof re ection in Coq Dimitri Hendriks (dimitri.hendriks@phil.uu.nl)
- Metamathematics in Coq Metamathematica in Coq
- Metamathematics in Coq Metamathematica in Coq
- Productivity of Stream Definitions? J"org Endrullis1, Clemens Grabmayer3, Dimitri Hendriks1,
- Clausification of First-Order Formulae, Representation & Correctness in Type Theory
- Metamathematics in Coq Metamathematica in Coq
- Dimitri Hendriks and Vincent van Oostrom Department of Philosophy, Universiteit Utrecht
- Automated Proof Construction in Type Theory using Resolutiony
- On the Mechanization of the Proof of Hessenberg's Theorem
- Proof reflection in Coq * Dimitri Hendriks (dimitri.hendriks@phil.uu.nl)
- Productivity of Stream Definitions Jorg Endrullis1
- DEGREES OF STREAMS Jorg Endrullis1
