Opening book details…
About this document
EXPSPACE Complexity of Countdown Games by xy w is a document available to read on EtoBox.
- Author
- xy w
- Language
- EN
Opening book details…
EXPSPACE Complexity of Countdown Games by xy w is a document available to read on EtoBox.
This document summarizes previous work on simulation preorder and complexity problems for one-counter automata and nets. It then presents the document