Paper: Languages of Dot-Depth One over Infinite Words (at LICS 2011)
Authors: Manfred Kufleitner Alexander Lauser
Abstract
No Abstract Available
BibTeX
@InProceedings{KufleitnerLauser-LanguagesofDotDepth, author = {Manfred Kufleitner and Alexander Lauser}, title = {Languages of Dot-Depth One over Infinite Words}, booktitle = {Proceedings of the Twenty-Sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2011)}, year = {2011}, month = {June}, pages = {23--32}, location = {Toronto, Canada}, publisher = {IEEE Computer Society Press} }