1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2019
Coinductive Uniform Proofs
Ekaterina Komendantskaya, Yue Li
Coinduction occurs in two guises in Horn clause logic: in proofs of circular properties and relations, and in proofs involving construction of infinite data. Both instances of coin…
cs.LO2018
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…
cs.LO2017★ 1 cited
Productive Corecursion in Logic Programming
Ekaterina Komendantskaya, Yue Li
Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soun…