Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) (1991)

Cached

Download Links

by E. A. Emerson , C. S. Jutla
Venue:IN PROCEEDINGS OF THE 32ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, FOCS ’91
Citations:213 - 4 self