7 citations · 12 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 7 cited
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
Henning Basold, Ekaterina Komendantskaya, Yue Li
We establish proof-theoretic, constructive and coalgebraic foundations for proof search in coinductive Horn clause theories. Operational semantics of coinductive Horn clause resolu…
cs.LO2018
Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations
Henning Basold
The purpose of this paper is to develop and study recursive proofs of coinductive predicates. Such recursive proofs allow one to discover proof goals in the construction of a proof…