Pascal Fontaine

Université de Lorraine , CNRS , Inria , LORIA , F-54000 Nancy , France; Université de Liège , Belgium

1 paper in the IJCAI proceedings

IJCAI 2021

Politeness for the Theory of Algebraic Datatypes (Extended Abstract)

with Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Clark Barrett

doi:10.24963/ijcai.2021/660

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings