Christophe Ringeissen

Université de Lorraine , CNRS , Inria , LORIA , F-54000 Nancy , France

1 paper in the IJCAI proceedings

IJCAI 2021

Politeness for the Theory of Algebraic Datatypes (Extended Abstract)

with Ying Sheng, Yoni Zohar, Jane Lange, Pascal Fontaine, Clark Barrett

doi:10.24963/ijcai.2021/660

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings