Shortest Paths in One-Counter Systems (Q2811358)
From MaRDI portal
scientific article; zbMATH DE number 7037619
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Shortest Paths in One-Counter Systems |
scientific article; zbMATH DE number 7037619 |
Statements
Shortest Paths in One-Counter Systems (English)
0 references
10 June 2016
0 references
18 March 2019
0 references
one-counter automaton
0 references
one-counter system
0 references
shortest path
0 references
0 references
