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