> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis Beteiligte: Qian, Kairong; Nymeyer, Albert Erschienen: Elsevier BV, 2006 Erschienen in: Electronic Notes in Theoretical Computer Science, 149 (2006) 2, Seite 33-49 Sprache: Englisch DOI: 10.1016/j.entcs.2005.07.025 ISSN: 1571-0661 Schlagwörter: General Computer Science ; Theoretical Computer Science Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang