• Completeness for Game Logic

Treffer: Completeness for Game Logic

Title:
Completeness for Game Logic
Authors:
Enqvist, Sebastian, Hansen, Helle Hvid, Kupke, Clemens, Marti, Johannes, Venema, Yde
Source:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2019 34th Annual ACM/IEEE Symposium on. :1-13 Jun, 2019
Relation:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Database:
IEEE Xplore Digital Library