Login / Signup
Yue Li
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 7
Top Topics
Horn Clause Logic
Computational Logic
Fixpoint
Logic Programming
Top Venues
CoRR
CoALP-Ty
ESOP
Theory Pract. Log. Program.
</>
Publications
</>
Henning Basold
,
Ekaterina Komendantskaya
,
Yue Li
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
ESOP
(2019)
Ekaterina Komendantskaya
,
Yue Li
Coinductive Uniform Proofs.
CoRR
(2019)
Ekaterina Komendantskaya
,
Yue Li
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper.
HCVS
(2018)
Henning Basold
,
Ekaterina Komendantskaya
,
Yue Li
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
CoRR
(2018)
Ekaterina Komendantskaya
,
Yue Li
Productive Corecursion in Logic Programming.
CoRR
(2017)
Ekaterina Komendantskaya
,
Yue Li
Productive corecursion in logic programming.
Theory Pract. Log. Program.
17 (5-6) (2017)
Yue Li
Structural Resolution with Co-inductive Loop Detection.
CoALP-Ty
(2016)