Media type: E-Article Title: Branching-Time Temporal Logic and Tree Automata Contributor: Kupferman, Orna; Grumberg, Orna Published: Elsevier BV, 1996 Published in: Information and Computation, 125 (1996) 1, Seite 62-69 Language: English DOI: 10.1006/inco.1996.0021 ISSN: 0890-5401 Keywords: Computational Theory and Mathematics ; Computer Science Applications ; Information Systems ; Theoretical Computer Science Origination: Footnote: Access State: Open Access