Login / Signup

Characterization of omega-Regular Languages by Monadic Second-Order Formulas.

Hideki YamasakiMasako TakahashiKojiro Kobayashi
Published in: Theor. Comput. Sci. (1986)
Keyphrases