Nombre de documents


CV de Florent Madelaine

HDR1 document

  • Florent Madelaine. Mémoire d'habilitation à diriger des recherches. Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012. <tel-01096078>

Communication dans un congrès1 document

  • Catarina Carvalho, Florent Madelaine, Barnaby Martin. From complexity to algebra and back: digraph classes, collapsibility and the PGP. Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. IEEE, pp.462-474, 2015, <10.1109/LICS.2015.50>. <hal-01108627>

Pré-publication, Document de travail1 document

  • Hubie Chen, Florent Madelaine, Barnaby Martin. Quantified Constraints and Containment Problems. This paper is a considerably expanded journal version of a LICS 2008 paper of the same title toge.. 2013. <hal-00881149>