Mots-clés

Nombre de documents

15


Article dans une revue4 documents

Communication dans un congrès4 documents

Chapitre d'ouvrage2 documents

Pré-publication, Document de travail3 documents

  • Thomas Seiller. Interaction Graphs: Full Linear Logic. 2015. 〈hal-01141292〉
  • Alberto Naibo, Mattia Petrolo, Thomas Seiller. On the Computational Meaning of Axioms. 2014. 〈hal-00930222〉
  • Clément Aubert, Thomas Seiller. Logarithmic Space and Permutations. Accepté pour publication dans le numéro spécial consacré à la complexité implicite de Infor.. 2013. 〈hal-01005701〉

Rapport1 document

  • Clément Aubert, Marc Bagnol, Thomas Seiller. Memoization for Unary Logic Programming: Characterizing PTIME. [Research Report] RR-8796, INRIA Grenoble - Rhône-Alpes; Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France; Aix Marseille Université, CNRS, Centrale Marseille, I2M UMR 7373, 13453, Marseille, France; IHÉS. 2015, pp.28. 〈hal-01107377v3〉

Thèse1 document

  • Thomas Seiller. Logique dans le Facteur Hyperfini: Géométrie de l'Interaction et Complexité. Logique [math.LO]. Aix-Marseille Université, 2012. Français. 〈tel-00768403〉