`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:

### Wrote 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.