Simplification by Cooperating Decision Procedures
- 1 October 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 1 (2), 245-257
- https://doi.org/10.1145/357073.357079
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A Practical Decision Procedure for Arithmetic with Function SymbolsJournal of the ACM, 1979
- Assignment Commands with Array ReferencesJournal of the ACM, 1978
- Some Completeness Results in the Mathematical Theory of ComputationJournal of the ACM, 1968