Combining Decision Procedures
- 1 January 2003
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 42 references indexed in Scilit:
- Validity checking for combinations of theories with equalityPublished by Springer Nature ,1996
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Reasoning About Recursively Defined Data StructuresJournal of the ACM, 1980
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- Verification Decidability of Presburger Array ProgramsJournal of the ACM, 1980
- A Practical Decision Procedure for Arithmetic with Function SymbolsJournal of the ACM, 1979
- Assignment Commands with Array ReferencesJournal of the ACM, 1978
- An algorithm for reasoning about equalityCommunications of the ACM, 1978
- Correction to A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936
- Exponential NumbersThe American Mathematical Monthly, 1934