Deciding combinations of theories
- 7 September 2005
- book chapter
- Published by Springer Nature
- p. 209-222
- https://doi.org/10.1007/bfb0000061
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- STP: A mechanized logic for specification and verificationPublished by Springer Nature ,2005
- Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control SystemIEEE Transactions on Computers, 1982
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- A Practical Decision Procedure for Arithmetic with Function SymbolsJournal of the ACM, 1979
- An algorithm for reasoning about equalityCommunications of the ACM, 1978
- SIFT: Design and analysis of a fault-tolerant computer for aircraft controlProceedings of the IEEE, 1978
- Efficiency of a Good But Not Linear Set Union AlgorithmJournal of the ACM, 1975