Obtaining Finite Local Theory Axiomatizations via Saturation
From MaRDI portal
Publication:2849490
DOI10.1007/978-3-642-40885-4_14zbMath1398.68482MaRDI 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
03B35: Mechanization of proofs and logical operations
Related Items
Symbol elimination and applications to parametric entailment problems, On invariant synthesis for parametric systems