Authors Search About

Aravantinos, Vincent

1 publications

JAIR 2011 Decidability and Undecidability Results for Propositional Schemata Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy