Countdown games, and simulation on (succinct) one-counter nets

P Jancar, P Osicka, Z Sawa - Logical Methods in Computer …, 2023 - lmcs.episciences.org
We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) for
simulation preorder on the class of succinct one-counter nets (ie, one-counter automata with …
相关文章

Countdown games, and simulation on (succinct) one-counter nets

P Jancar, P Osicka, Z Sawa - arXiv e-prints, 2020 - ui.adsabs.harvard.edu
We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) for
simulation preorder on the class of succinct one-counter nets (ie, one-counter automata with …

Countdown games, and simulation on (succinct) one-counter nets

P Jancar, P Osicka, Z Sawa - arXiv preprint arXiv:2008.11753, 2020 - arxiv.org
We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) for
simulation preorder on the class of succinct one-counter nets (ie, one-counter automata with …

[引用][C] Countdown games, and simulation on (succinct) one-counter nets

P Jančar, P Osička, Z Sawa - 2023 - dspace.vsb.cz
We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) for
simulation preorder on the class of succinct one-counter nets (ie, one-counter automata with …

COUNTDOWN GAMES, AND SIMULATION ON (SUCCINCT) ONE-COUNTER NETS.

P JANČAR, P OSIČKA, Z SAWA - Logical Methods in …, 2023 - search.ebscohost.com
We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) for
simulation preorder on the class of succinct one-counter nets (ie, one counter automata with …