No label defined (Q2908849)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
29 August 2012
0 references
place-boundedness
0 references
vector addition system with one zero-test
0 references
Karp-Miller algorithm
0 references
