2008 | ||
---|---|---|
3 | EE | Samuel Mimram: Presentation of a Game Semantics for First-Order Propositional Logic CoRR abs/0805.0845: (2008) |
2007 | ||
2 | EE | Paul-André Melliès, Samuel Mimram: Asynchronous Games: Innocence Without Alternation. CONCUR 2007: 395-411 |
1 | EE | Paul-André Melliès, Samuel Mimram: Asynchronous games: innocence without alternation CoRR abs/0706.1118: (2007) |
1 | Paul-André Melliès | [1] [2] |