Yue Li
Title
Cited by
Cited by
Year
Productive corecursion in logic programming
E Komendantskaya, Y Li
arXiv preprint arXiv:1707.01541, 2017
192017
Coinduction in uniform: Foundations for corecursive proof search with horn clauses
H Basold, E Komendantskaya, Y Li
European Symposium on Programming, 783-813, 2019
132019
Towards coinductive theory exploration in horn clause logic: Position paper
E Komendantskaya, Y Li
arXiv preprint arXiv:1809.04771, 2018
52018
Structural Resolution with Co-inductive Loop Detection
Y Li
arXiv preprint arXiv:1703.08336, 2017
32017
Coinductive Uniform Proofs
E Komendantskaya, Y Li
arXiv preprint arXiv:1903.07371, 2019
12019
Models of Coinductive First-order Horn Clauses
Y Li
25th Automated Reasoning Workshop, 8, 2018
12018
Comparative Study of Search Strategies for Term-Matching and Unification Based Resolution in Prolog
Y Li
12016
Coinductive Uniform Proofs: Revision of Annual Technical Report Submitted for PhD Progression, Which Has New Formulation of Sequent Rules
Y Li
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