Rewrite-based Equational Theorem Proving with Selection and Simplification
Journal of Logic and Computation1994Vol. 4(3), pp. 217–247
Citations Over TimeTop 1% of 1994 papers
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 11794, USA E-mail: leo@sbcs.sunysb.eu Search for other works by this author on: Oxford Academic Google Scholar HARALD GANZINGER HARALD GANZINGER Max-Planck-Institut für Informatik, Im StadtwaldD-W-66123 Saarbrücken, Germany E-mail: hg@mpi-sb.mpg.de Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 4, Issue 3, June 1994, Pages 217–247, https://doi.org/10.1093/logcom/4.3.217 Published: 01 June 1994 Article history Received: 23 July 1991 Published: 01 June 1994
Related Papers
- → Integrating Equational Reasoning into Instantiation-Based Theorem Proving(2004)28 cited
- → Programming with equalities, subsorts, overloading, and parametrization in OBJ(1992)23 cited
- → Algorithms, Datastructures, and other Issues in Efficient Automated Deduction(2001)20 cited
- → Methods of Artificial Selection(2022)1 cited