Completeness for Game Logic

From MaRDI portal

Publication:6317283

Jump to:navigation, search

arXiv1904.07691MaRDI QIDQ6317283

Clemens Kupke, Sebastian Enqvist, Helle Hvid Hansen, Johannes Marti, Yde Venema

Publication date: 16 April 2019

This page was built for publication: Completeness for Game Logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6317283&oldid=35906839"