Author of the publication

Theorem Proving with Structure Sharing and Efficient Unification.

, and . IJCAI, page 543. William Kaufmann, (1977)

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

A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase., , , , , , , , , and 2 other author(s). SASO Workshops, page 71-76. IEEE Computer Society, (2013)A Pi-Calculus with Explicit Substitutions., , and . Theor. Comput. Sci., 168 (1): 53-103 (1996)Modelling Concurrent Accesses to Shared Data via Petri Nets., , and . PROCOMET, volume A-56 of IFIP Transactions, page 403-422. North-Holland, (1994)On Limit Properties in Digitization Schemes.. J. ACM, 17 (2): 348-360 (1970)A model for distributed systems based on graph rewriting., and . J. ACM, 34 (2): 411-449 (1987)Semiring-based constraint satisfaction and optimization., , and . J. ACM, 44 (2): 201-236 (1997)Observational equivalences for concurrency models., , and . Formal Description of Programming Concepts, page 105-134. North-Holland, (1987)Insights emerged while comparing three models for global computing., and . Foundations of Global Computing, volume 05081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Unifying Inference for Bayesian and Petri Nets., , and . CoRR, (2018)Unicast and Multicast Qos Routing with Soft Constraint Logic Programming, , , and . CoRR, (2007)