dimitri hendriks

2013

Jörg Endrullis, Dimitri Hendriks and Clemens Grabmayer
Mix-Automatic Sequences
Proc. Conf. on Language and Automata Theory and Applications (LATA 2013)
Pages 262-274. Springer, 2013.
[ bib | pdf ]
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop and Andrew Polonsky
Discriminating Lambda-Terms using Clocked Böhm Trees
Special Issue on Selected Papers of LICS 2010, Logical Methods in Computer Science
To appear, 2013.
[ pdf ]

Jörg Endrullis, Dimitri Hendriks and Jan Willem Klop
Highlights in Infinitary Rewriting and Lambda Calculus
Theoretical Computer Science -- Festschrift in Honour of Yoshihito Toyama
Volume 464, pages 48-71, 2012.
[ url | bib | pdf ]
Jörg Endrullis, Dimitri Hendriks and Rena Bakhshi
On the Complexity of Equivalence of Specifications of Infinite Objects
Proceedings ACM SIGPLAN Conference on Functional Programming (ICFP 2012).
Pages 153-164. ACM, 2012.
[ url | bib | pdf ]
Dimitri Hendriks, Frits G. W. Dannenberg, Jörg Endrullis, Mark Dow and Jan WIllem Klop
Arithmetic Self-Similarity of Infinite Sequences
Technical report. Arxiv 1201.3786, 2012.
[ arxiv | bib ]
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop and Lawrence S. Moss
Automatic Sequences and Zip-Specifications
Proceedings Symposium on Logic in Computer Science (LICS 2012)
Pages 335-344. IEEE, 2012.
[ url | bib | pdf ]

Jörg Endrullis, Dimitri Hendriks and Jan Willem Klop
Degrees of Streams
Journal of Integers -- Proceedings of the Leiden Numeration Conference 2010
Volume 11B(A6), pages 1-40, 2011.
[ url | bib | pdf ]
Jörg Endrullis and Dimitri Hendriks
Lazy Productivity via Termination
Theoretical Computer Science -- Festschrift in Honour of Jan Bergstra
Volume 412, Issue 28, pages 3203-3225, 2011.
[ doi | bib | pdf ]

Jörg Endrullis, Dimitri Hendriks and Jan Willem Klop
Modular Construction of Fixed Point Combinators and Clocked Böhm Trees
Logic in Computer Science, Proc. Symp. - LICS 2010.
Pages 111-119, IEEE Computer Society, 2010.
[ doi | bib | slides ]
Jörg Endrullis and Dimitri Hendriks
Transforming Outermost into Context-Sensitive Rewriting
Logical Methods in Computer Science, 6(2), 2010.
[ arxiv | bib ]
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop and Vincent van Oostrom
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting
Rewriting Techniques and Applications, Proc. Int. Conf. - RTA 2010
Volume 6 of Leibniz International Proceedings in Informatics, pages 85-102.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.
[ doi | bib ]
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara and Jan Willem Klop
Productivity of Stream Definitions
Special issue devoted to selected papers from Fundamentals of Computation Theory 2007
Volume 411, Issues 4-5 of Theoretical Computer Science, pages 765-782
[ doi | bib | pdf | info ]

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks and Jan Willem Klop
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting
Liber Amicorum for Roel de Vrijer
pages 47-60, 2009
[ arxiv ]
Jörg Endrullis, Dimitri Hendriks and Jan Willem Klop
Let's Make a Difference!
Liber Amicorum for Roel de Vrijer
pages 61-73, 2009
[ arxiv ]
Jörg Endrullis and Dimitri Hendriks
From Outermost to Context-Sensitive Rewriting
Rewriting Techniques and Applications, Proc. Int. Conf. - RTA 2009
Volume 5595 of Lecture Notes in Computer Science, pages 305-319.
Springer, 2009.
received Best Paper Award
[ doi | bib ]
Jörg Endrullis, Clemens Grabmayer and Dimitri Hendriks
Complexity of Fractran and Productivity
Automated Deduction, Proc. Int. Conf. - CADE-22,
Volume 5663 of Lecture Notes in Computer Science, pages 371-387.
Springer, 2009.
[ doi | bib | info ]
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, and Jan Willem Klop
Infinite Streams
Nieuwsbrief van de Nederlanse Vereniging voor Theoretische Informatica
pages 39-49, 2009.
[ pdf ]
Jörg Endrullis, Clemens Grabmayer and Dimitri Hendriks
Complexity of Fractran and Productivity
Technical report, 18 pp. (v3, 2009-07-31).
[ arxiv | bib | info ]

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop and Roel de Vrijer
Proving Infinitary Normalization
Types for Proofs and Programs, Postproc. Int. Conf.- TYPES 2008,
Volume 5497 of Lecture Notes in Computer Science, pages 64-82.
Springer, 2009.
[ doi | bib ]
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara and Jan Willem Klop
Productivity of Stream Definitions
Preprint 268, Logic Group Preprint Series
Department of Philosophy, Utrecht University, 2008.
Jörg Endrullis, Clemens Grabmayer and Dimitri Hendriks
Data-Oblivious Stream Productivity
Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2008,
Volume 5330 of Lecture Notes in Computer Science, pages 79-96.
Springer, 2008.
[ doi | bib | info ]
Jörg Endrullis, Clemens Grabmayer and Dimitri Hendriks
Data-Oblivious Stream Productivity
Technical report, 78 pp. (v5, 2008-07-19).
[ arxiv | bib | info ]
Marc Bezem and Dimitri Hendriks
On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic
Journal of Automated Reasoning, 40(1):61-85, 2008.
[ doi | bib | info ]

Marc Bezem and Dimitri Hendriks
On the Mechanization of the Proof of Hessenberg's Theorem
Automated Deduction in Geometry - ADG-06,
pages 160-181, Universidad de Vigo, 2006.
[ abstract | bib | dvi | ps | pdf | info ]

Dimitri Hendriks
Metamathematics in Coq
PhD thesis, Utrecht University, 2003.
[ abstract | bib | dvi | ps | pdf ]
Dimitri Hendriks and Vincent van Oostrom
Adbmal
Automated Deduction - CADE-19,
Volume 2741 of Lecture Notes in Artificial Intelligence, pages 136-150.
Springer, 2003.
[ abstract | bib | dvi | ps | pdf | info ]

Dimitri Hendriks
Proof Reflection in Coq
Journal of Automated Reasoning, 29(3-4):277-307, 2002.
[ abstract | bib | dvi | ps | pdf | info ]
Marc Bezem, Dimitri Hendriks and Hans de Nivelle
Automated Proof Construction in Type Theory using Resolution
Journal of Automated Reasoning, 29(3-4):253-275, 2002.
[ abstract | bib | ps | pdf | dvi | info ]

Dimitri Hendriks Proof Reflection in Coq
Preprint 28, Artificial Intelligence Preprint Series
Department of Philosophy, Utrecht University, 2001

Dimitri Hendriks
Clausification of First-Order Formulae, Representation and Correctness in Type Theory
Master's Thesis, Utrecht University, 1998.
[ bib | ps | pdf | dvi ]
Marc Bezem and Dimitri Hendriks
Clausification in Coq
Preprint 187, Logic Group Preprint Series
Department of Philosophy, Utrecht University, 1998.
Marc Bezem and Dimitri Hendriks
Using Otter in Coq
Nieuwsbrief van de Nederlanse Vereniging voor Theoretische Informatica, 1998.