C
C.S. Jutla
Researcher at University of Texas at Austin
Publications - 1
Citations - 865
C.S. Jutla is an academic researcher from University of Texas at Austin. The author has contributed to research in topics: Decidability & Parity game. The author has an hindex of 1, co-authored 1 publications receiving 849 citations.
Papers
More filters
Proceedings ArticleDOI
Tree automata, mu-calculus and determinacy
E.A. Emerson,C.S. Jutla +1 more
TL;DR: It is shown that the propositional mu-calculus is equivalent in expressive power to finite automata on infinite trees, which provides a radically simplified, alternative proof of M.O. Rabin's (1989) complementation lemma for tree automata, which is the heart of one of the deepest decidability results.