1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…