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

Hideki Yamasaki, Masako Takahashi, Kojiro Kobayashi. Characterization of omega-Regular Languages by Monadic Second-Order Formulas. Theoretical Computer Science, 46(3):91-99, 1986.

Abstract

Abstract is missing.