Clément Aubert - Dissemin

Language
Login

Papers authored by Clément Aubert

This paper is available in a repository.

2014 Clément Aubert

ORCID

, Marc Bagnol, Paolo Pistone, Thomas Seiller

ORCID

Logic Programming and Logarithmic Space

Download from hal.archives-ouvertes.fr

This paper is available in a repository.

Clément Aubert

ORCID

, Marc Bagnol

Unification and Logarithmic Space

Download from arxiv.org

This paper is available in a repository.

2013 Clément Aubert

ORCID

Linear Logic and Sub-polynomial Classes of Complexity ; Logique linéaire et classes de complexité sous-polynomiales

Download from tel.archives-ouvertes.fr

This paper is available in a repository.

Clément Aubert

ORCID

, Thomas Seiller

ORCID

Logarithmic Space and Permutations

Download from zenodo.org

This paper is made freely available by the publisher.

2012 Clément Aubert

ORCID

Sublogarithmic uniform Boolean proof nets

Download from doi.org

Missing publications? Search for publications with a matching author name.