Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Olivier Brunet

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2005
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-cs-0504018
- ask others
Olivier Brunet: A Rule-Based Logic for Quantum Information. CoRR abs/cs/0504018 (2005)
2004
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Brunet04
- ask others
Olivier Brunet: A Logic for Partial System Description. J. Log. Comput. 14(4): 507-528 (2004)
2003
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tableaux/Brunet03
- ask others
Olivier Brunet: A Labelled Sequent-Calculus for Observation Logic. TABLEAUX 2003: 17-31