Rewrite-based Equational Theorem Proving with Selection and Simplification
Work
Year: 1994
Type: article
Abstract: Journal Article Rewrite-based Equational Theorem Proving with Selection and Simplification Get access LEO BACHMAIR, LEO BACHMAIR Department of Computer Science, SUNY at Stony BrookStony Brook, NY 1179... more
Source: Journal of Logic and Computation
Authors Leo Bachmair, Harald Ganzinger
Institutions Max Planck Institute for Informatics, Max Planck Society
Cites: 21
Cited by: 405
Related to: 10
FWCI: 14.88
Citation percentile (by year/subfield): 99.99
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: green