Combining Non-Stably Infinite Theories
From MaRDI portal
Publication:4916220
DOI10.1016/S1571-0661(04)80651-0zbMath1261.03069MaRDI QIDQ4916220
Calogero G. Zarba, Cesare Tinelli
Publication date: 19 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Combining nonstably infinite theories ⋮ Modular proof systems for partial functions with Evans equality ⋮ Efficient theory combination via Boolean search ⋮ Combining Non-Stably Infinite Theories ⋮ Model-theoretic methods in combined constraint satisfiability ⋮ Combining sets with cardinals
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complexity, convexity and combinations of theories
- Cooperation of background reasoners in theory reasoning by residue sharing
- Unions of non-disjoint theories and combinations of satisfiability procedures
- \(T\)-theorem proving. I
- Fast Decision Procedures Based on Congruence Closure
- Simplification by Cooperating Decision Procedures
- Quantifier Elimination and Provers Integration
- Combining Non-Stably Infinite Theories
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method
This page was built for publication: Combining Non-Stably Infinite Theories
