You are not logged in |
Log in
PL
/
EN
studies
bachelor's and master's studies
PhD studies
Erasmus
admissions
faculty
how to get there
structure, contact
employees and phd students
research
research
seminars
publications
grants
Sierpiński Medal
IDUB
USOSweb
SRS
APD
Moodle
Computer laboratory
Student mail
Staff mail
Jobs
Back to the list of the institutes
Publications
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