( en | de | ru )

 

Disambiguation of "Hendriks, Dimitri"

Author of the publication

copydeleteadd this publication to your clipboard
Clocked lambda calculus.

, , , and . Math. Struct. Comput. Sci., 27 (5): 782-806 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frits Hendriks

Philipp Hendriks

Frits Hendriks

Augustinus Hendriks

Hildegard Hendriks

 

Other publications of authors with the same name

adbmal, and . CADE, volume 2741 of Lecture Notes in Computer Science, page 136-150. Springer, (2003)Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples., , , , and . Log. Methods Comput. Sci., (2014)Complexity of Fractran and Productivity., , and . CADE, volume 5663 of Lecture Notes in Computer Science, page 371-387. Springer, (2009)Productivity of Stream Definitions., , , , and . FCT, volume 4639 of Lecture Notes in Computer Science, page 274-287. Springer, (2007)Clocked lambda calculus., , , and . Math. Struct. Comput. Sci., 27 (5): 782-806 (2017)Automatic Sequences and Zip-Specifications., , , , and . LICS, page 335-344. IEEE Computer Society, (2012)From Outermost to Context-Sensitive Rewriting., and . RTA, volume 5595 of Lecture Notes in Computer Science, page 305-319. Springer, (2009)Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting., , , , and . RTA, volume 6 of LIPIcs, page 85-102. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Degrees of Streams., , and . Integers, (2011)Proof Reflection in Coq.. J. Autom. Reason., 29 (3-4): 277-307 (2002)