A Logic of Games and Propositional Control (2009)

First Author: Nicolas Troqard
Attributed to:  Logic for Automated Mechanism Design and Analysis (LAMDA) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract