conf.researchr.org / Yue Li
Registered user since Thu 14 Feb 2019
Name:Yue Li
Country:China
Affiliation:Heriot-Watt University, UK
Personal website:http://www.macs.hw.ac.uk/~yl55/
Research interests:Computational logic
Contributions
| ESOP 2019 | Author of Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses within the ESOP 2019-track |