Up a level |
Number of items: 2.
Benerecetti, Massimo, Dell'Erba, Daniele ORCID: 0000-0003-1196-6110, Mogavero, Fabio, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik
(2021)
Priority Promotion with Parysian Flair.
[Preprint]
Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2014)
A Resolution Prover for Coalition Logic.
In: 2nd International Workshop on Strategic Reasoning, Satellite workshop of ETAPS 2014.