The Greatest Fixed-Points and Rational Omega-Tree Languages

Masako Takahashi. The Greatest Fixed-Points and Rational Omega-Tree Languages. Theoretical Computer Science, 44:259-274, 1986.

Abstract

Abstract is missing.