Simulation Over One-counter Nets is PSPACE-Complete (Q2963939)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simulation Over One-counter Nets is PSPACE-Complete |
scientific article |
Statements
21 February 2017
0 references
simulation preorder
0 references
one-counter nets
0 references
complexity
0 references
Simulation Over One-counter Nets is PSPACE-Complete (English)
0 references
