Infinite Trees and Automation-Definable Relations over omega-Words

Wolfgang Thomas. Infinite Trees and Automation-Definable Relations over omega-Words. Theoretical Computer Science, 103(1):143-159, 1992.

Possibly Related Publications

The following publications are possibly variants of this publication: