From post

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.

 

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

On the Confluence of Linear Shallow Term Rewrite Systems., , и . STACS, том 2607 из Lecture Notes in Computer Science, стр. 85-96. Springer, (2003)Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems., и . RTA, том 4533 из Lecture Notes in Computer Science, стр. 184-199. Springer, (2007)Normalization properties for Shallow TRS and Innermost Rewriting.. Appl. Algebra Eng. Commun. Comput., 21 (2): 109-129 (2010)One-context Unification with STG-Compressed Terms is in NP., , и . RTA, том 15 из LIPIcs, стр. 149-164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Orderings for Innermost Termination., , и . RTA, том 3467 из Lecture Notes in Computer Science, стр. 17-31. Springer, (2005)Termination of Rewriting with Right-Flat Rules., , и . RTA, том 4533 из Lecture Notes in Computer Science, стр. 200-213. Springer, (2007)Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints., , и . J. Autom. Reason., 51 (4): 371-400 (2013)Deciding confluence of certain term rewriting systems in polynomial time., , и . Ann. Pure Appl. Log., 130 (1-3): 33-59 (2004)Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions., , , и . CSEDU (2), стр. 93-98. SciTePress, (2011)On the Normalization and Unique Normalization Properties of Term Rewrite Systems., и . CADE, том 4603 из Lecture Notes in Computer Science, стр. 247-262. Springer, (2007)