Følg
Yue Li
Tittel
Sitert av
Sitert av
År
Productive corecursion in logic programming
E Komendantskaya, Y Li
Theory and Practice of Logic Programming 17 (5-6), 906-923, 2017
212017
Coinduction in uniform: Foundations for corecursive proof search with Horn clauses
H Basold, E Komendantskaya, Y Li
European Symposium on Programming, 783-813, 2019
192019
Towards coinductive theory exploration in horn clause logic: Position paper
E Komendantskaya, Y Li
arXiv preprint arXiv:1809.04771, 2018
62018
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
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–11