References & Citations
Computer Science > Logic in Computer Science
Title: Eine entscheidbare Klasse n-stelliger Horn-Prädikate
(Submitted on 7 Apr 2014)
Abstract: Similar to a tree grammar, a Horn theory can be used to describe an infinite set of terms. In this paper, we present a class of Horn theories such that the set of definable predicates is closed wrt. conjunction and such that the satisfiability of a predicate is decidable. This extends previous results on Horn clauses with unary predicates.
Link back to: arXiv, form interface, contact.