Travelled to:1 × Poland
1 × Switzerland
1 × USA
Collaborated with:V.Mogbil O.Bournez F.Cucker J.Marion
Talks about:structur (3) multipl (2) correct (2) complet (2) proof (2) exponenti (1) arbitrari (1) sequenti (1) polynomi (1) parallel (1)
Person: Paulin Jacobé de Naurois
DBLP: Naurois:Paulin_Jacob=eacute=_de
Contributed to:
2008
2007
2003Wrote 3 papers:
- LICS-2008-NauroisM #correctness #multi #proving
- Correctness of Multiplicative Additive Proof Structures is NL-Complete (PJdN, VM), pp. 476–485.
- CSL-2007-NauroisM #correctness #exponential #multi #proving
- Correctness of Multiplicative (and Exponential) Proof Structures is NL -Complete (PJdN, VM), pp. 435–450.
- FoSSaCS-2003-BournezCNM #parallel #polynomial
- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time (OB, FC, PJdN, JYM), pp. 185–199.