Author of the publication

Completeness results and syntactic characterizations of complexity classes over arbitrary structures. (Résultats de complétude et caractérisations syntaxiques de classes de complexité sur des structures arbitraires).

. National Polytechnic Institute of Lorraine, Nancy, France, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Measure of Space for Computing over the Reals.. CiE, volume 3988 of Lecture Notes in Computer Science, page 231-240. Springer, (2006)Correctness of Multiplicative (and Exponential) Proof Structures is NL -Complete., and . CSL, volume 4646 of Lecture Notes in Computer Science, page 435-450. Springer, (2007)The Complexity of Semilinear Problems in Succinct Representation., , and . FCT, volume 3623 of Lecture Notes in Computer Science, page 479-490. Springer, (2005)Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures., , , and . IFIP TCS, volume 155 of IFIP, page 409-422. Kluwer/Springer, (2004)Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH., , , and . ICC@LICS, volume 90 of Electronic Notes in Theoretical Computer Science, page 3-14. Elsevier, (2003)Parallelism in Soft Linear Logic.. CSL, volume 216 of LIPIcs, page 26:1-26:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time., , , and . J. Log. Comput., 15 (1): 41-58 (2005)Implicit complexity over an arbitrary structure: Quantifier alternations., , , and . Inf. Comput., 204 (2): 210-230 (2006)The complexity of semilinear problems in succinct representation., , and . Comput. Complex., 15 (3): 197-235 (2006)Pointers in Recursion: Exploring the Tropics.. FSCD, volume 131 of LIPIcs, page 29:1-29:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)