BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Germany
1 × Italy
1 × United Kingdom
5 × USA
Collaborated with:
J.H.Gallier C.Lynch S.Raatz A.Oliart J.G.Schmolze P.Narendran D.A.Plaisted L.Bachmair H.Ganzinger
Talks about:
unif (5) complet (4) ground (4) rewrit (3) equat (3) set (3) paramodul (2) algorithm (2) equival (2) system (2)

Person: Wayne Snyder

DBLP DBLP: Snyder:Wayne

Contributed to:

CADE 19981998
CADE 19961996
RTA 19931993
CADE 19921992
RTA 19911991
CADE 19901990
RTA 19891989
CADE 19881988
LICS 19881988
LICS 19871987
RTA 19871987

Wrote 11 papers:

CADE-1998-OliartS #algorithm #performance
A Fast Algorithm for Uniform Semi-Unification (AO, WS), pp. 239–253.
CADE-1996-SnyderS #semantics #theory and practice
Rewrite Semantics for Production Rule Systems: Theory and Applications (WS, JGS), pp. 508–522.
Redundancy Criteria for Constrained Completion (CL, WS), pp. 2–16.
Basic Paramodulation and Superposition (LB, HG, CL, WS), pp. 462–476.
Goal Directed Strategies for Paramodulation (WS, CL), pp. 150–161.
CADE-1990-Snyder #higher-order
Higher Order E-Unification (WS), pp. 573–587.
RTA-1989-Snyder #algorithm #equation #generative #performance #set
Efficient Ground Completion: An O(n log n) Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E (WS), pp. 419–433.
CADE-1988-GallierNPRS #canonical #equation #finite #polynomial #set #term rewriting
Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time (JHG, PN, DAP, SR, WS), pp. 182–196.
Rigid E-Unification is NP-Complete (JHG, WS, PN, DAP), pp. 218–227.
LICS-1987-GallierRS #equation #proving #theorem proving #using
Theorem Proving Using Rigid E-Unification Equational Matings (JHG, SR, WS), pp. 338–346.
A General Complete E-Unification Procedure (JHG, WS), pp. 216–227.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.