@inproceedings{conf/dagstuhl/Cachat07,
title = {Tree Automata Make Ordinal Theory Easy.},
author = {Thierry Cachat},
booktitle = {Algorithmic-Logical Theory of Infinite Structures},
crossref = {conf/dagstuhl/2007P7441},
editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7441.html#Cachat07},
volume = {07441},
year = {2007},
description = {dblp},
date = {2008-05-15}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1408},
keywords = {dblp }
}
::