Searching for authors named "Wayne Snyder" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Redundancy Criteria for Constrained Completion
- …Redundancy Criteria for Constrained Completion Christopher Lynch Wayne Snyder March 5, 1995…
- Cited by 5 (1 self) – Add To MetaCart
-
Fast Algorithms for Uniform Semi-Unification
- …Fast Algorithms for Uniform Semi-Unification Preliminary Draft Alberto Oliart, Wayne Snyder…
- Cited by 4 (1 self) – Add To MetaCart
-
Unification Theory
- … Chapter 8 Unification Theory Franz Baader Wayne Snyder Second readers: Paliath Narendran…
- Cited by 158 (11 self) – Add To MetaCart
-
Basic Paramodulation
- …Basic Paramodulation Leo Bachmair Harald Ganzinger y Christopher Lynch z Wayne Snyder x…
- Cited by 63 (12 self) – Add To MetaCart
-
Conditional Rewriting Modulo a Built-in Algebra; Jürgen Avenhaus and Klaus
- … Jörg Siekmann Wayne Snyder (Organizers) July 29 – 31, 1992Contents Conditional Rewriting Modulo a Built…
- Add To MetaCart
-
Contents Conditional Rewriting Modulo a Built-in Algebra; J"urgen Avenhaus and Klaus
- … J"org Siekmann Wayne Snyder (Organizers) July 29 - 31, 1992 Contents Conditional Rewriting Modulo…
- Add To MetaCart
Showing 1 through 6.
