( en | de | ru )

 

Disambiguation of "Hendriks, Dimitri"

Author of the publication

copydeleteadd this publication to your clipboard
Regularity Preserving but Not Reflecting Encodings.

, , and . LICS, page 535-546. IEEE Computer Society, (2015)

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

Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting, , , and . CoRR, (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)On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic., and . J. Autom. Reason., 40 (1): 61-85 (2008)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)Transforming Outermost into Context-Sensitive Rewriting, and . Logical Methods in Computer Science, (2010)A Coinductive Treatment of Infinitary Rewriting., , , , and . CoRR, (2013)adbmal, and . CADE, volume 2741 of Lecture Notes in Computer Science, page 136-150. Springer, (2003)An Introduction to the Clocked Lambda Calculus., , , and . CoRR, (2014)