A comparison of well-quasi orders on trees
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Documents
- A Comparison of Well-Quasi Orders on Trees
Final published version, 96.6 KB, PDF document
Original language | English |
---|---|
Title of host publication | 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 |
Editors | Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff |
Number of pages | 11 |
Publication date | 2013 |
Pages | 30-40 |
DOIs | |
Publication status | Published - 2013 |
Series | Electronic Proceedings in Theoretical Computer Science |
---|---|
Volume | 129 |
ISSN | 2075-2180 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 169138665