Simulation of two-way pushdown automata revisited
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Documents
- Glück_2013_Simulation_of_two-way
Final published version, 95.4 KB, PDF document
| Original language | English |
|---|---|
| Title of host publication | Semantics, abstract interpretation, and reasoning about programs |
| Editors | Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff |
| Number of pages | 9 |
| Volume | 129 |
| Publication date | 2013 |
| Pages | 250-258 |
| DOIs | |
| Publication status | Published - 2013 |
| Series | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| ISSN | 2075-2180 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 169413222