Shostak Light
- 4 July 2002
- book chapter
- Published by Springer Nature
- p. 332-346
- https://doi.org/10.1007/3-540-45620-1_28
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Abstract Congruence ClosureJournal of Automated Reasoning, 2003
- A Rewrite Rule Based Framework for Combining Decision Procedures *Published by Springer Nature ,2002
- A Generalization of Shostak#x2019;s Method for Combining Decision ProceduresPublished by Springer Nature ,2002
- Abstract Congruence Closure and SpecializationsPublished by Springer Nature ,2000
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination methodPublished by Springer Nature ,1997
- Shostak's congruence closure as completionPublished by Springer Nature ,1997
- Theorem Proving with Ordering and Equality Constrained ClausesJournal of Symbolic Computation, 1995
- STeP: The Stanford Temporal ProverLecture Notes in Computer Science, 1995
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979