Olivier Delande (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

Selection of 2 from 3 records - Olivier Delande has 6 coauthors

Last update 2012-02-16 CET by the DBLP Team —

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

2		Olivier Delande, Dale Miller, Alexis Saurin: Proof and refutation in MALL as a game. Ann. Pure Appl. Logic 161(5): 654-672 (2010)
1		Olivier Delande, Dale Miller: A Neutral Approach to Proof and Refutation in MALL. LICS 2008: 498-508