Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin1, 2 Alain Finkel1 - PSPACE - Document - PDFSEARCH.IO

First Page	Meta Content
	Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin1, 2 Alain Finkel1 Add to Reading List Document Date: 2016-09-23 11:33:03 Open Document File Size: 571,41 KB Share Result on Facebook

Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin1, 2 Alain Finkel1Add to Reading List