April 01, 1995 article Open access Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra Theoretical Computer Science DOI: 10.1016/0304-3975(94)00214-4 Full text (OA) OpenAlex Authors 0 Author list not loaded yet. Cited by 1 stored of 214 Search Sort Most cited Newest Oldest Patent citations Title Any typearticle review book-chapter conference-paper preprint dissertation book dataset other Any fieldAgricultural and Biological Sciences Arts and Humanities Biochemistry, Genetics and Molecular Biology Business, Management and Accounting Chemical Engineering Chemistry Computer Science Decision Sciences Dentistry Earth and Planetary Sciences Economics, Econometrics and Finance Energy Engineering Environmental Science Health Professions Immunology and Microbiology Materials Science Mathematics Medicine Neuroscience Nursing Pharmacology, Toxicology and Pharmaceutics Physics and Astronomy Psychology Social Sciences Veterinary Open access Projection for Büchi Tree Automata with Constraints between Siblings 2020 International Journal of Foundations of Computer Science article Computer Science semigroups and automata theory 0 citations 1 result References 0