Accéder directement au contenu

Thomas Seiller

4
Documents

Publications

33732
Image document

An Intensionally Fully-abstract Sheaf Model for pi

Clovis Eberhart , Tom Hirschowitz , Thomas Seiller
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015, Nimègue, Netherlands. pp.86--100, ⟨10.4230/LIPIcs.CALCO.2015.86⟩
Communication dans un congrès hal-00873626v2
Image document

Logic Programming and Logarithmic Space

Clément Aubert , Marc Bagnol , Paolo Pistone , Thomas Seiller
12th Asian Symposium, APLAS 2014, Oct 2014, Singapour, Singapore. pp.39-57, ⟨10.1007/978-3-319-12736-1_3⟩
Communication dans un congrès hal-01309159v1
Image document

Memoization for Unary Logic Programming: Characterizing PTIME

Clément Aubert , Marc Bagnol , Thomas Seiller
[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
Rapport hal-01107377v3