( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints.

, , и . J. Autom. Reason., 51 (4): 371-400 (2013)

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.

Guillem Usandizaga

Maren Rebolledo Godoy

Juan Miquel Godoy Ramsay

Fliesslochformen und Gewindefurchen in dünne Bleche und Rohre aus Kupfer und Kupferlegierungen. Uni Kassel, (2009)

Alejandra Godoy-Haeberle

José Rodrigo Godoy Berthet

 

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

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)