ETAPS 2019 (series) / Yue Li
![Yue Li](https://conf.researchr.org/getProfileImage/yueli1/d777c763-c150-4127-91da-f314882e3c8c/small.jpg?1713970583000)
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
ETAPS 2019-profile
View general profile
View general profile