1985年 Logical formulas and four subclasses of w-regular languages(共箸) Lecture Notes in Computer Science 巻 192 号 開始ページ 81 終了ページ 88 エクスポート BibTeX RIS