Yue Li
TitleCited byYear
Productive corecursion in logic programming
E Komendantskaya, Y Li
Theory and Practice of Logic Programming 17 (5-6), 906-923, 2017
122017
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
H Basold, E Komendantskaya, Y Li
European Symposium on Programming, 783-813, 2019
32019
Structural Resolution with Co-inductive Loop Detection
Y Li
arXiv preprint arXiv:1703.08336, 2017
22017
Towards coinductive theory exploration in horn clause logic: Position paper
E Komendantskaya, Y Li
arXiv preprint arXiv:1809.04771, 2018
12018
Comparative Study of Search Strategies for Term-Matching and Unification Based Resolution in Prolog
Y Li
12016
Coinductive Uniform Proofs
E Komendantskaya, Y Li
arXiv preprint arXiv:1903.07371, 2019
2019
Coinductive Uniform Proofs: Revision of Annual Technical Report Submitted for PhD Progression, Which Has New Formulation of Sequent Rules
Y Li
2018
Models of Coinductive First-order Horn Clauses
Y Li
25th Automated Reasoning Workshop, 8, 2018
2018
Implementing Unification Algorithms in Haskell
Y Li
2015
Towards Coinductive Theory Exploration in Horn Clause Logic
E Komendantskaya, Y Li
Coinductive Uniform Proofs
Y Li, E Komendantskaya
The system can't perform the operation now. Try again later.
Articles 1–11