Tree automata, mu-calculus and determinacy
Emerson, E.A., Jutla, C.S.
Published in [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science (1991)
Published in [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science (1991)
Get full text
Conference Proceeding
The complexity of tree automata and logics of programs
Emerson, E.A., Jutla, C.S.
Published in [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science (1988)
Published in [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science (1988)
Get full text
Conference Proceeding
On simultaneously determinizing and complementing omega -automata
Emerson, E.A., Jutla, C.S.
Published in [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science (1989)
Published in [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science (1989)
Get full text
Conference Proceeding