You are not logged in | Log in

PL /
EN

Conference: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)

Number of publications: 1

2013

Sławomir Lasota , Piotr Hofman , Richard Mayr, Patrick Totzke, Simulation Over One-counter Nets is PSPACE-Complete, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), 2013. See in PBN

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper