A comparison of well-quasi orders on trees
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
Dokumenter
- A Comparison of Well-Quasi Orders on Trees
Forlagets udgivne version, 96,6 KB, PDF-dokument
| Originalsprog | Engelsk |
|---|---|
| Titel | Semantics, Abstract Interpretation, and Reasoning about Programs : essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013 |
| Redaktører | Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff |
| Antal sider | 11 |
| Publikationsdato | 2013 |
| Sider | 30-40 |
| DOI | |
| Status | Udgivet - 2013 |
| Navn | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Vol/bind | 129 |
| ISSN | 2075-2180 |
Bibliografisk note
David A. Schmidt’s 60th Birthday Festschrift
- Computer Science - Programming Languages, Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms, E.1, F.2.2, F.3.2
Forskningsområder
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 169138665