Wayne Snyder

Available identifiers

Publication	Date of Publication	Type
Higher order E-unification	2023-04-28	Paper
Efficient ground completion	2022-12-09	Paper
Rewrite semantics for production rule systems: Theory and applications	2019-01-15	Paper
Fast algorithms for uniform semi-unification	2007-08-24	Paper
Unification theory	2002-08-27	Paper
Theorem proving using equational matings and rigid E -unification	1994-11-13	Paper
On the complexity of recursive path orderings	1994-01-09	Paper
A fast algorithm for generating reduced ground rewriting systems from a set of ground equations	1993-12-06	Paper
An algorithm for finding canonical sets of ground rewrite rules in polynomial time	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4010356	1992-09-27	Paper
A proof theory for general unification	1992-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q3971290	1992-06-25	Paper
Rigid E-unification: NP-completeness and applications to equational matings	1990-01-01	Paper
Complete sets of transformations for general E-unification	1989-01-01	Paper
Higher-order unification revisited: Complete sets of transformations	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3811749	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782762	1987-01-01	Paper

This page was built for person: Wayne Snyder