| 2005 | ||
|---|---|---|
| 3 | Olivier Brunet: A Rule-Based Logic for Quantum Information CoRR abs/cs/0504018: (2005) | |
| 2004 | ||
| 2 | Olivier Brunet: A Logic for Partial System Description. J. Log. Comput. 14(4): 507-528 (2004) | |
| 2003 | ||
| 1 | Olivier Brunet: A Labelled Sequent-Calculus for Observation Logic. TABLEAUX 2003: 17-31 | |