Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Unification Modulo ACU I Plus Homomorphisms/Distributivity., , and . CADE, volume 2741 of Lecture Notes in Computer Science, page 442-457. Springer, (2003)String Rewriting and Security Analysis: An Extension of a Result of Book and Otto., , and . Journal of Automata, Languages and Combinatorics, 16 (2-4): 75-90 (2011)Privacy Analysis with a Distributed Transition System and a Data-Wise Metric., , and . PSD, volume 13463 of Lecture Notes in Computer Science, page 15-30. Springer, (2022)Heuristical Criteria in Refutational Theorem Proving., and . DISCO, volume 429 of Lecture Notes in Computer Science, page 184-193. Springer, (1990)Unification Modulo Synchronous Distributivity., , , , and . IJCAR, volume 7364 of Lecture Notes in Computer Science, page 14-29. Springer, (2012)Unification Modulo Lists with Reverse Relation with Certain Word Equations., , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 1-17. Springer, (2019)A Rewrite Mechanism for Logic Programs with Negation., and . RTA, volume 914 of Lecture Notes in Computer Science, page 163-178. Springer, (1995)STORM: A MAny-to-One Associative-Commutative Matcher., and . RTA, volume 914 of Lecture Notes in Computer Science, page 414-419. Springer, (1995)An Application of Automated Equational Reasoning to Many-valued Logic., and . CTRS, volume 516 of Lecture Notes in Computer Science, page 156-161. Springer, (1990)Cap unification: application to protocol security modulo homomorphic encryption., , , , and . AsiaCCS, page 192-203. ACM, (2010)