Olivier Delande

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

3 Jerome Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc: Operation Based Model Representation: Experiences on Inconsistency Detection. ECMFA 2011: 85-96

2010

2 Olivier Delande, Dale Miller, Alexis Saurin: Proof and refutation in MALL as a game. Ann. Pure Appl. Logic 161(5): 654-672 (2010)

2008

1 Olivier Delande, Dale Miller: A Neutral Approach to Proof and Refutation in MALL. LICS 2008: 498-508

	2011
3		Jerome Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc: Operation Based Model Representation: Experiences on Inconsistency Detection. ECMFA 2011: 85-96
	2010
2		Olivier Delande, Dale Miller, Alexis Saurin: Proof and refutation in MALL as a game. Ann. Pure Appl. Logic 161(5): 654-672 (2010)
	2008
1		Olivier Delande, Dale Miller: A Neutral Approach to Proof and Refutation in MALL. LICS 2008: 498-508

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Xavier Blanc	[3]
2	Daniel Exertier	[3]
3	Dale Miller	[1] [2]
4	Jerome Le Noir	[3]
5	Alexis Saurin	[2]
6	Marcos Aurélio Almeida da Silva	[3]