Proof and refutation in MALL as a game

14 years 22 days ago

We present a setting in which the search for a proof of B or a refutation of B (i.e., a proof of

Olivier Delande, Dale Miller, Alexis Saurin

APAL 2010 | Game | Refutation | Usual Approach |

claim paper

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2010
Where	APAL
Authors	Olivier Delande, Dale Miller, Alexis Saurin

Comments (0)