Olivier Brunet

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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