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
Testing low-degree polynomials over prime fields
Jutla, C.S., Patthak, A.C., Rudra, A., Zuckerman, D.
Published in 45th Annual IEEE Symposium on Foundations of Computer Science (2004)
Published in 45th Annual IEEE Symposium on Foundations of Computer Science (2004)
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