Canonization for disjoint unions of theories
- 1 May 2005
- journal article
- Published by Elsevier in Information and Computation
- Vol. 199 (1-2) , 87-106
- https://doi.org/10.1016/j.ic.2004.11.001
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Combining Decision ProceduresPublished by Springer Nature ,2003
- Unions of non-disjoint theories and combinations of satisfiability proceduresTheoretical Computer Science, 2003
- Deconstructing ShostakPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Deciding the Word Problem in the Union of Equational TheoriesInformation and Computation, 2002
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- The join of equational theoriesColloquium Mathematicum, 1974