Decision Problems for omega-Automata

Lawrence H. Landweber. Decision Problems for omega-Automata. Theory Comput. Syst., 3(4):376-384, 1969.

Abstract

Abstract is missing.