Schmitt, Alan

2 publications

IJCAI 2015 Expressive Logical Combinators for Free Pierre Genevès, Alan Schmitt

IJCAI 2011 Query Reasoning on Trees with Types, Interleaving, and Counting Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt