Combining Equational Reasoning
From MaRDI portal
Publication:3655192
DOI10.1007/978-3-642-04222-5_4zbMath1193.68239OpenAlexW1564370279MaRDI QIDQ3655192
Publication date: 7 January 2010
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04222-5_4
Related Items
Uses Software
Cites Work
- Complexity, convexity and combinations of theories
- Affine relationships among variables of a program
- The complexity of the word problems for commutative semigroups and polynomial ideals
- Efficient theory combination via Boolean search
- Simplification by Cooperating Decision Procedures
- D-bases for polynomial ideals over commutative noetherian rings
- Computer Aided Verification
- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
- Computer Science Logic
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Programming Languages and Systems
- Computer Aided Verification
- Algorithms in real algebraic geometry
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item