Combining Shostak Theories
- 9 July 2002
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Formal Verification of a Combination Decision ProcedurePublished by Springer Nature ,2002
- Shostak LightPublished by Springer Nature ,2002
- ICS: Integrated Canonizer and Solver?Published by Springer Nature ,2001
- Shostak's congruence closure as completionPublished by Springer Nature ,1997
- Unification in the Union of Disjoint Equational Theories: Combining Decision ProceduresJournal of Symbolic Computation, 1996
- On Shostak's decision procedure for combinations of theoriesPublished by Springer Nature ,1996
- Validity checking for combinations of theories with equalityPublished by Springer Nature ,1996
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- Complexity of finitely presented algebrasPublished by Association for Computing Machinery (ACM) ,1977