Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Dokumenter
- Glück_2013_Simulation_of_two-way
Forlagets udgivne version, 95,4 KB, PDF-dokument
| Originalsprog | Engelsk |
|---|---|
| Titel | Semantics, abstract interpretation, and reasoning about programs |
| Redaktører | Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff |
| Antal sider | 9 |
| Vol/bind | 129 |
| Publikationsdato | 2013 |
| Sider | 250-258 |
| DOI | |
| Status | Udgivet - 2013 |
| Navn | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| ISSN | 2075-2180 |
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 169413222