Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Virgile MOGBIL

Année
Publications
Files &
Ref.IML
2001 Krantz Thomas, Mogbil Virgile.
Encoding Hamiltonian circuits into multiplicative linear logic.
Theoret. Comput. Sci. 266, no. 1-2, 987--996, 2001.
 

Thèse
(Thesis)
 
2001 Sémantique des phases, réseaux de preuve et divers problèmes de décision en logique linéaire
[phase semantics, proof nets and some decision problems in linear logic].
Thèse de doctorat sous la direction de Yves Lafont , le 17 janvier 2001.
abstract



Articles soumis ou acceptés

2001 Mogbil Virgile.
Quadratic correctness criterion for Non commutative Logic.
accepté à Computer Science Logic, 2001
 



Last update : january 28, 2002, EL.