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