Autor der Publikation

Path of Subterms Ordering and Recursive Decomposition Ordering Revisited.

. J. Symb. Comput., 3 (1/2): 117-131 (1987)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

On Word Problems in Horn Theories., und . CADE, Volume 310 von Lecture Notes in Computer Science, Seite 527-537. Springer, (1988)A Proof System for Conditional Algebraic Specifications., und . CTRS, Volume 516 von Lecture Notes in Computer Science, Seite 51-63. Springer, (1990)Any Gound Associative-Commutative Theory Has a Finite Canonical System., und . RTA, Volume 488 von Lecture Notes in Computer Science, Seite 423-434. Springer, (1991)One-variable context-free hedge automata., und . J. Comput. Syst. Sci., (2019)Matching a Set of Strings with Variable Length Don't Cares., und . CPM, Volume 937 von Lecture Notes in Computer Science, Seite 230-247. Springer, (1995)Rewrite based Verification of XML Updates, und . CoRR, (2009)Studies on the Ground Convergence Property of Conditional Theories., und . AMAST, Seite 363-376. Springer, (1991)Preferring diagnoses by abduction., , und . IEEE Trans. Syst. Man Cybern., 23 (3): 792-808 (1993)Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption., , , und . ACM Trans. Comput. Log., 9 (4): 24:1-24:52 (2008)Reasoning with Conditional Axioms., und . Ann. Math. Artif. Intell., 15 (2): 125-149 (1995)