Monti Angelo and Peron Adriano. Logical definability of Y-tree and trellis systolic $\omega$-languages. Acta Cybernetica, 15(1):75-100, 2001. [ PDF ]
This document was translated from BibTEX by bibtex2html