Wayne Snyder
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
1987–1998
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CADE | A Fast Algorithm for Uniform Semi-Unification. | Alberto Oliart, Wayne Snyder |
| 1997 | AAAI | Detecting Redundant Production Rules. | James G. Schmolze, Wayne Snyder |
| 1996 | CADE | Rewrite Semantics for Production Rule Systems: Theory and Applications. | Wayne Snyder, James G. Schmolze |
| 1992 | CADE | Basic Paramodulation and Superposition. | Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder |
| 1990 | CADE | Higher Order E-Unification. | Wayne Snyder |
| 1988 | CADE | Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time. | Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder |
| 1988 | LICS | Rigid E-Unification is NP-Complete | Jean H. Gallier, Wayne Snyder, Paliath Narendran, David A. Plaisted |
| 1987 | LICS | Theorem Proving Using Rigid E-Unification Equational Matings | Jean H. Gallier, Stan Raatz, Wayne Snyder |