( en | de | ru )

 

Disambiguierung von "Rusinowitch, Michaël"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decision Problems in Ordered Rewriting.

, , , und . LICS, Seite 276-286. IEEE Computer Society, (1998)

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.

Michaël Bekaert

Michaël Lafaye

Michaël Rao

Michaël Hauspie

Michaël Chopin

 

Weitere Publikationen von Autoren mit dem selben Namen

One-variable context-free hedge automata., und . J. Comput. Syst. Sci., (2019)Preferring diagnoses by abduction., , und . IEEE Trans. Syst. Man Cybern., 23 (3): 792-808 (1993)Rewrite based Verification of XML Updates, und . CoRR, (2009)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)A Proof System for Conditional Algebraic Specifications., und . CTRS, Volume 516 von Lecture Notes in Computer Science, Seite 51-63. Springer, (1990)On Word Problems in Horn Theories., und . CADE, Volume 310 von Lecture Notes in Computer Science, Seite 527-537. Springer, (1988)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)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)Reasoning with Conditional Axioms., und . Ann. Math. Artif. Intell., 15 (2): 125-149 (1995)Matching a Set of Strings with Variable Length don't Cares., und . Theor. Comput. Sci., 178 (1-2): 129-154 (1997)