SDVS
- 1 December 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMICRO Newsletter
- Vol. 15 (4) , 246-255
- https://doi.org/10.1145/384281.808233
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- Hilbert's Tenth Problem is UnsolvableThe American Mathematical Monthly, 1973