Yue Li

Affiliations:

Heriot-Watt University, School of Mathematical and Computer Sciences, Edinburgh, UK

According to our database¹, Yue Li authored at least 6 papers between 2016 and 2019.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2019

A proof-theoretic approach to coinduction in Horn clause logic

[BibT_eX]

[DOI]

Yue Li

PhD thesis, 2019

Coinductive Uniform Proofs.

[BibT_eX]

[DOI]

Ekaterina Komendantskaya

Yue Li

CoRR, 2019

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.

[BibT_eX]

[DOI]

Henning Basold

Ekaterina Komendantskaya

Yue Li

Proceedings of the Programming Languages and Systems, 2019

2018

Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper.

[BibT_eX]

[DOI]

Ekaterina Komendantskaya

Yue Li

Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

2017

Productive corecursion in logic programming.

[BibT_eX]

[DOI]

Ekaterina Komendantskaya

Yue Li

Theory Pract. Log. Program., 2017

2016

Structural Resolution with Co-inductive Loop Detection.

[BibT_eX]

[DOI]

Yue Li

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016

Yue Li

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...