Ying Sheng

1 paper in the IJCAI proceedings

IJCAI 2021

Politeness for the Theory of Algebraic Datatypes (Extended Abstract)

with Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett

doi:10.24963/ijcai.2021/660

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings