( en | de | ru )

 

Disambiguation of "Snyder, Wayne"

Author of the publication

copydeleteadd this publication to your clipboard
Rewrite Semantics for Production Rule Systems: Theory and Applications.

, and . CADE, volume 1104 of Lecture Notes in Computer Science, page 508-522. Springer, (1996)

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.

Wayne Coppins

Glenn Snyder

Katharina Snyder

Benjamin Snyder

Wayne Daley

 

Other publications of authors with the same name

An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time., , , , and . J. ACM, 40 (1): 1-16 (1993)Detecting redundancy among production rules using term rewrite semantics., and . Knowl. Based Syst., 12 (1-2): 3-11 (1999)Rewrite Semantics for Production Rule Systems: Theory and Applications., and . CADE, volume 1104 of Lecture Notes in Computer Science, page 508-522. Springer, (1996)Proof theory for general unification.. Progress in computer science and applied logic Birkhäuser, (1993)Complete Sets of Transformations for General E-Unification., and . Theor. Comput. Sci., 67 (2&3): 203-260 (1989)Basic Paramodulation, , , and . Inf. Comput., 121 (2): 172-192 (September 1995)An Inference System for Horn Clause Logic with Equality: A Foundation for Conditional E-Unification and for Logic Programming in the Presence of Equality., and . CTRS, volume 516 of Lecture Notes in Computer Science, page 454-461. Springer, (1990)A General Complete E-Unification Procedure., and . RTA, volume 256 of Lecture Notes in Computer Science, page 216-227. Springer, (1987)A Tool for Testing Confluence of Production Rules., and . EUROVAV, page 91-104. ADERIAS-LIA, Universite de Savoie, (1995)Detecting Redundant Production Rules., and . AAAI/IAAI, page 417-423. AAAI Press / The MIT Press, (1997)