7 citations · 13 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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…
cs.LO2017★ 2 cited
Structural Resolution with Co-inductive Loop Detection
Yue Li
A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction. In particular,…