Nombre de documents

2

CV de Charles Paperman


Pré-publication, Document de travail2 documents

  • Charles Paperman. Finite-Degree Predicates and Two-Variable First-Order Logic. 2015. <hal-01178299v2>
  • Luc Dartois, Charles Paperman. Adding modular predicates to first-order fragments. 2015. <hal-00934622v3>