Pascal Fontaine

1 papers · 2021–2021 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (11)

Conferences

IJCAI (1)

Top co-authors

Jane Lange (1) Ying Sheng (1) Christophe Ringeissen (1) Clark Barrett (1) Yoni Zohar (1)

Keywords

formal methods (1) automated reasoning (1) satisfiability modulo theories (1) algebraic datatype (1) theory combination (1)

Papers

Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021