Automated Reasoning
From MaRDI portal
Publication:5307056
DOI10.1007/b98691zbMath1126.68564MaRDI QIDQ5307056
Viorica Sofronie-Stokkermans, Harald Ganzinger, Uwe Waldmann
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
03B35: Mechanization of proofs and logical operations
Related Items
On Combinations of Local Theory Extensions, On Hierarchical Reasoning in Combinations of Theories, On the verification of security-aware E-services, Combining nonstably infinite theories, On invariant synthesis for parametric systems, Modular proof systems for partial functions with Evans equality