Automatic Generation of Invariants for Circular Derivations in SUP(LA)
From MaRDI portal
Publication:2891451
DOI10.1007/978-3-642-28717-6_17zbMath1352.03016OpenAlexW1942011698MaRDI QIDQ2891451
Evgeny Kruglov, Arnaud Fietzke, Christoph Weidenbach
Publication date: 15 June 2012
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11858/00-001M-0000-0024-03CF-9
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (4)
Symbol elimination and applications to parametric entailment problems ⋮ Accelerating worst case execution time analysis of timed automata models with cyclic behaviour ⋮ Superposition as a decision procedure for timed automata ⋮ Superposition decides the first-order logic fragment over ground theories
Uses Software
This page was built for publication: Automatic Generation of Invariants for Circular Derivations in SUP(LA)
