A comparison of well-quasi orders on trees

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Documents

Original languageEnglish
Title of host publicationSemantics, 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
EditorsAnindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff
Number of pages11
Publication date2013
Pages30-40
DOIs
Publication statusPublished - 2013
SeriesElectronic Proceedings in Theoretical Computer Science
Volume129
ISSN2075-2180

Number of downloads are based on statistics from Google Scholar and www.ku.dk


No data available

ID: 169138665