Simulation Over One-counter Nets is PSPACE-Complete



Hofman, Piotr, Lasota, Slawomir, Mayr, Richard and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2013) Simulation Over One-counter Nets is PSPACE-Complete. .

[img] Text
HLMT2013.pdf - Accepted Version

Download (565kB)
Item Type: Conference or Workshop Item (Unspecified)
Additional Information: timestamp: Thu, 23 Aug 2018 01:00:00 +0200 biburl: https://dblp.org/rec/bib/conf/fsttcs/HofmanLMT13 bibsource: dblp computer science bibliography, https://dblp.org
Depositing User: Symplectic Admin
Date Deposited: 09 Jan 2019 10:10
Last Modified: 09 Jan 2021 04:28
DOI: 10.4230/LIPIcs.FSTTCS.2013.515
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3031033