Tags

christiankissig's Muller:DE [2 articles]

 
Recent papers posted to christiankissig's library by the author Muller:DE. You can also see everyone's Muller:DE.
Search Export Sort Hide Details BiomedExperts Google Scholar PubMed
 
Simulating alternating tree automata by nondeterministic automata: new results and new proofs of the theorems of Rabin, McNaughton and Safra
 
Simulating Alternating Tree Automata by Non-Deterministic Automata: New Results and New Proofs of the Theorems of Rabin, Mc Naughton, and Safra
Note: You may cite this page as: http://www.citeulike.org/user/christiankissig/author/Muller:DE

Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.