Automated Reasoning
From MaRDI portal
Publication:5307056
DOI10.1007/b98691zbMath1126.68564OpenAlexW4239036627MaRDI 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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Combining nonstably infinite theories ⋮ On the verification of security-aware E-services ⋮ Modular proof systems for partial functions with Evans equality ⋮ On Combinations of Local Theory Extensions ⋮ On Hierarchical Reasoning in Combinations of Theories ⋮ On invariant synthesis for parametric systems
This page was built for publication: Automated Reasoning