7 citations · 13 across the 5 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★ 3 cited
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper
Ekaterina Komendantskaya Dr, Yue Li
Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite…