Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete (Q4639894)
From MaRDI portal
scientific article; zbMATH DE number 6868311
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete |
scientific article; zbMATH DE number 6868311 |
Statements
Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete (English)
0 references
14 May 2018
0 references
multi-pushdown automata
0 references
emptiness problem
0 references
