A comparison of well-quasi orders on trees

Torben Ægidius Mogensen

doi:10.4204/EPTCS.129.3

A comparison of well-quasi orders on trees

Torben Ægidius Mogensen

Datalogisk Institut

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

1 Citationer (Scopus)

142 Downloads (Pure)

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	https://doi.org/10.4204/EPTCS.129.3
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

Emneord

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

Adgang til dokumentet

10.4204/EPTCS.129.3Licens: CC BY

A Comparison of Well-Quasi Orders on TreesForlagets udgivne version, 96,6 KBLicens: CC BY

Citationsformater

Mogensen, T. Æ. (2013). A comparison of well-quasi orders on trees. I A. Banerjee, O. Danvy, K-G. Doh, & J. Hatcliff (red.), 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 (s. 30-40). Electronic Proceedings in Theoretical Computer Science Bind 129 https://doi.org/10.4204/EPTCS.129.3

A comparison of well-quasi orders on trees. / Mogensen, Torben Ægidius.

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. red. / Anindya Banerjee; Olivier Danvy; Kyung-Goo Doh; John Hatcliff. 2013. s. 30-40 (Electronic Proceedings in Theoretical Computer Science, Bind 129).

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

Mogensen, TÆ 2013, A comparison of well-quasi orders on trees. i A Banerjee, O Danvy, K-G Doh & J Hatcliff (red), 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. Electronic Proceedings in Theoretical Computer Science, bind 129, s. 30-40. https://doi.org/10.4204/EPTCS.129.3

Mogensen TÆ. A comparison of well-quasi orders on trees. I Banerjee A, Danvy O, Doh K-G, Hatcliff J, red., 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. 2013. s. 30-40. (Electronic Proceedings in Theoretical Computer Science, Bind 129). https://doi.org/10.4204/EPTCS.129.3

Mogensen, Torben Ægidius. / A comparison of well-quasi orders on trees. 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. red. / Anindya Banerjee ; Olivier Danvy ; Kyung-Goo Doh ; John Hatcliff. 2013. s. 30-40 (Electronic Proceedings in Theoretical Computer Science, Bind 129).

@inproceedings{5566f5e3e41444d088e66054b13a938a,

title = "A comparison of well-quasi orders on trees",

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

author = "Mogensen, {Torben {\AE}gidius}",

note = "David A. Schmidt{\textquoteright}s 60th Birthday Festschrift",

year = "2013",

doi = "10.4204/EPTCS.129.3",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "30--40",

editor = "Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff",

booktitle = "Semantics, Abstract Interpretation, and Reasoning about Programs",

}

TY - GEN

T1 - A comparison of well-quasi orders on trees

AU - Mogensen, Torben Ægidius

N1 - David A. Schmidt’s 60th Birthday Festschrift

PY - 2013

Y1 - 2013

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

U2 - 10.4204/EPTCS.129.3

DO - 10.4204/EPTCS.129.3

M3 - Article in proceedings

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 30

EP - 40

BT - Semantics, Abstract Interpretation, and Reasoning about Programs

A2 - Banerjee, Anindya

A2 - Danvy, Olivier

A2 - Doh, Kyung-Goo

A2 - Hatcliff, John

ER -