A comparison of well-quasi orders on trees

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Dokumenter

OriginalsprogEngelsk
TitelSemantics, 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ørerAnindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff
Antal sider11
Publikationsdato2013
Sider30-40
DOI
StatusUdgivet - 2013
NavnElectronic Proceedings in Theoretical Computer Science
Vol/bind129
ISSN2075-2180

Bibliografisk note

David A. Schmidt’s 60th Birthday Festschrift

    Forskningsområder

  • Computer Science - Programming Languages, Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms, E.1, F.2.2, F.3.2

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 169138665