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

Personal website: http://www.macs.hw.ac.uk/~yl55/

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