Obtaining Finite Local Theory Axiomatizations via Saturation
From MaRDI portal
Publication:2849490
DOI10.1007/978-3-642-40885-4_14zbMath1398.68482OpenAlexW2170945358MaRDI QIDQ2849490
Viorica Sofronie-Stokkermans, Matthias Horbach
Publication date: 20 September 2013
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11858/00-001M-0000-0024-C90C-F
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Symbol elimination and applications to parametric entailment problems ⋮ On invariant synthesis for parametric systems
This page was built for publication: Obtaining Finite Local Theory Axiomatizations via Saturation
