1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 1 cited
Higher-Order MSL Horn Constraints
Jerome Jochems, Eddie Jones, Steven Ramsay
The monadic shallow linear (MSL) class is a decidable fragment of first-order Horn clauses that was discovered and rediscovered around the turn of the century, with applications in…
cs.FL2021
Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses
Jerome Jochems
Higher-order constrained Horn clauses (HoCHC) are a semantically-invariant system of higher-order logic modulo theories. With semi-decidable unsolvability over a semi-decidable bac…