Proof and Refutation in MALL as a game

Olivier Delande 1 Dale Miller 2, 1 Alexis Saurin 2, 1, 3, 4
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
4 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00527922
Contributor : Alexis Saurin <>
Submitted on : Wednesday, October 20, 2010 - 3:55:57 PM
Last modification on : Friday, April 12, 2019 - 2:46:04 PM

Links full text

Identifiers

Collections

Citation

Olivier Delande, Dale Miller, Alexis Saurin. Proof and Refutation in MALL as a game. Annals of Pure and Applied Logic, Elsevier Masson, 2010, 161 (5), pp.654-672. ⟨10.1016/j.apal.2009.07.017⟩. ⟨hal-00527922⟩

Share

Metrics

Record views

384