|
 |
Last update : january 28, 2002, EL.
|
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 |
| 2001 | Mogbil Virgile. Quadratic correctness criterion for Non commutative Logic. accepté à Computer Science Logic, 2001 |
|
|
|
Last update : january 28, 2002, EL.
|