3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.LO2025
An abstract fixed-point theorem for Horn formula equations
Stefan Hetzl, Johannes Kloibhofer
We consider a class of formula equations in first-order logic, Horn formula equations, which are defined by a syntactic restriction on the occurrences of predicate variables. Horn…
cs.LO2021★ 3 cited
A Fixed-point Theorem for Horn Formula Equations
Stefan Hetzl, Johannes Kloibhofer
We consider constrained Horn clause solving from the more general point of view of solving formula equations. Constrained Horn clauses correspond to the subclass of Horn formula eq…