We stand with Ukraine  

Yue Li

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


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
A proof-theoretic approach to coinduction in Horn clause logic
[BibTeX]
[DOI]
Yue Li
PhD thesis, 2019

Coinductive Uniform Proofs.
[BibTeX]
[DOI]
Ekaterina Komendantskaya
,
Yue Li
CoRR, 2019

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses.
[BibTeX]
[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.
[BibTeX]
[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.
[BibTeX]
[DOI]
Ekaterina Komendantskaya
,
Yue Li
Theory Pract. Log. Program., 2017

2016
Structural Resolution with Co-inductive Loop Detection.
[BibTeX]
[DOI]
Yue Li
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016


  Loading...