Snyder, Wayne - Department of Computer Science, Boston University

Advanced Search

Browse by Discipline

Scientific Societies

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Snyder, Wayne - Department of Computer Science, Boston University

Fast Algorithms for Uniform Semi-Uni cation Alberto Oliart
Theorem Proving Using Equational Matings and Rigid E-Unification
Uni cation theory Franz Baader
An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time
Redundancy Criteria for Constrained Completion

Website Policies/Important Links