( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Degree of Squares is an Atom.

, , , и . WORDS, том 9304 из Lecture Notes in Computer Science, стр. 109-121. Springer, (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.

Frits Hendriks

Philipp Hendriks

Frits Hendriks

Augustinus Hendriks

Hildegard Hendriks

 

Другие публикации лиц с тем же именем

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