scientific article; zbMATH DE number 1948386
From MaRDI portal
Publication:4411948
zbMath1015.68042MaRDI QIDQ4411948
Helmut Seidl, Hanne Riis Nielson, Flemming Nielson
Publication date: 13 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2477/24770020.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses, A logic of reachable patterns in linked data-structures, Tree tuple languages from the logic programming point of view, Tree automata with equality constraints modulo equational theories, Extending \(H_1\)-clauses with disequalities, Normalization of Linear Horn Clauses, A continuous–discontinuous second‐order transition in the satisfiability of random Horn‐SAT formulas, Paths, tree homomorphisms and disequalities for -clauses, Deciding \(\mathcal H_1\) by resolution