All papers authored by Clément Aubert
Refreshing results…
2016
Clément Aubert 
,
Marc Bagnol,
Thomas Seiller
,
Marc Bagnol,
Thomas Seiller
Unary Resolution: Characterizing Ptime
Download from zenodo.org
2015
Clément Aubert ,
Ioana Cristescu
,
Ioana Cristescu
Reversible Barbed Congruence on Configuration Structures
Download from dx.doi.org
2014
Clément Aubert ,
Marc Bagnol,
Paolo Pistone,
Thomas Seiller
,
Marc Bagnol,
Paolo Pistone,
Thomas Seiller
Logic Programming and Logarithmic Space
Download from hal.archives-ouvertes.fr
Missing publications? Search for publications with a matching author name.