Wayne Snyder

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Higher order E-unification	2023-04-28	Paper
Efficient ground completion Rewriting Techniques and Applications	2022-12-09	Paper
Rewrite semantics for production rule systems: theory and applications Automated Deduction — Cade-13	2019-01-15	Paper
Fast algorithms for uniform semi-unification Journal of Symbolic Computation	2007-08-24	Paper
Unification theory	2002-08-27	Paper
Theorem proving using equational matings and rigid <i>E</i> -unification Journal of the ACM	1994-11-13	Paper
On the complexity of recursive path orderings Information Processing Letters	1994-01-09	Paper
A fast algorithm for generating reduced ground rewriting systems from a set of ground equations Journal of Symbolic Computation	1993-12-06	Paper
An algorithm for finding canonical sets of ground rewrite rules in polynomial time Journal of the ACM	1993-05-16	Paper
scientific article; zbMATH DE number 65745 (Why is no real title available?)	1992-09-27	Paper
A proof theory for general unification Progress in Computer Science and Applied Logic	1992-09-18	Paper
scientific article; zbMATH DE number 8800 (Why is no real title available?)	1992-06-25	Paper
Rigid E-unification: NP-completeness and applications to equational matings Information and Computation	1990-01-01	Paper
Complete sets of transformations for general E-unification Theoretical Computer Science	1989-01-01	Paper
Higher-order unification revisited: Complete sets of transformations Journal of Symbolic Computation	1989-01-01	Paper
scientific article; zbMATH DE number 4080962 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4045129 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Wayne Snyder