Simulation Over One-counter Nets is PSPACE-Complete ∗ Piotr Hofman1 , Sławomir Lasota1 , Richard Mayr2 , and Patrick Totzke2 1 University of Warsaw, Poland - PSPACE - Document - PDFSEARCH.IO

First Page	Meta Content
	Simulation Over One-counter Nets is PSPACE-Complete ∗ Piotr Hofman1 , Sławomir Lasota1 , Richard Mayr2 , and Patrick Totzke2 1 University of Warsaw, Poland Add to Reading List Document Date: 2014-04-01 04:10:08 Open Document File Size: 510,87 KB Share Result on Facebook

Simulation Over One-counter Nets is PSPACE-Complete ∗ Piotr Hofman1 , Sławomir Lasota1 , Richard Mayr2 , and Patrick Totzke2 1 University of Warsaw, PolandAdd to Reading List