Accéder directement au contenu

Thomas Seiller

1
Documents

Publications

33732
34409
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