unset title  > Contact_plural > Lacroix  login
 
search

Lacroix

lastnameLacroix
firstnameMathieu
organisationEquipe AOC du LIPN, IUT de Villetaneuse
websitehttp://lipn.univ-paris13.fr/~lacroix/
old_uid9822
responsibles_object
New perspectives on invexity and its algorithmic applications
Around Classical and Intuitionistic Linear Processes
A recipe for the semantics of reversible programming
Linear approximation of the ?-calculus: a new presentation of an old thing
Characterisations of polynomial-time and -space complexity classes over the reals
Informatique de Paris Nord (séminaire du laboratoire d’- (LIPN), UMR 7030 CNRS, Institut Galilée – Université Sorbonne Paris Nord) (2024)
Languages of Higher Dimensional Timed Automata
Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems
Contact #140884 - latest update on 2017/01/27, created on 2013/10/02
Help | About this site | Powered by CubicWeb