Extending ${\cal H}_1$ -Clauses with Path Disequalities
From MaRDI portal
Publication:2892769
DOI10.1007/978-3-642-28729-9_11zbMath1352.68118OpenAlexW1975895350MaRDI QIDQ2892769
Publication date: 22 June 2012
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28729-9_11
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25)
Related Items
Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ Paths, tree homomorphisms and disequalities for -clauses ⋮ SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment