Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Sawa, Zdeněk"'
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 1 (February 9, 2023) lmcs:6739
We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (LMCS 2016) for simulation preorder on the class of succinct one-counter nets (i.e., one-counter automata with no zero tests where counter increments and decrements are integers wr
Externí odkaz:
http://arxiv.org/abs/2008.11753
We note that the remarkable EXPSPACE-hardness result in [G\"oller, Haase, Ouaknine, Worrell, ICALP 2010] ([GHOW10] for short) allows us to answer an open complexity question for simulation preorder of succinct one counter nets (i.e., one counter auto
Externí odkaz:
http://arxiv.org/abs/1801.01073
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Information and Computation 2010 208(10):1193-1205
Publikováno v:
In Information and Computation 2010 208(1):42-62
Autor:
Kot, Martin, Sawa, Zdeněk
Publikováno v:
In Electronic Notes in Theoretical Computer Science 28 December 2005 138(3):49-60
Publikováno v:
In Information and Computation 2004 188(1):1-19
Autor:
Sawa, Zdeněk1 zdenek.sawa@vsb.cz
Publikováno v:
Fundamenta Informaticae. 2013, Vol. 123 Issue 1, p97-106. 10p.
Autor:
Sawa, Zdeněk1 Zdenek.Sawa@vsb.cz, Jančar, Petr1 Petr.Jancar@vsb.cz
Publikováno v:
Acta Informatica. May2009, Vol. 46 Issue 3, p169-191. 23p. 8 Diagrams, 1 Chart.
Autor:
Jančar, Petr, Sawa, Zdeněk
Publikováno v:
In Information Processing Letters 2007 104(5):164-167