ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Yue Li

Registered user since Thu 14 Feb 2019

Name:Yue Li
Country:China
Affiliation:Heriot-Watt University, UK
Research interests:Computational logic

Contributions

ESOP 2019 Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
Show activities from other conferences

ETAPS 2019-profile
View general profile