Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance
Verfasserangaben: | Henrik Brosenne, Matthias HomeisterGND, Stephan Waack |
---|---|
DOI: | https://doi.org/10.1016/j.ipl.2005.11.011 |
ISSN: | 1872-6119 (Online) |
ISSN: | 0020-0190 (Print) |
Titel des übergeordneten Werkes (Englisch): | Information Processing Letters |
Dokumentart: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Veröffentlichung: | 2006 |
Datum der Veröffentlichung (online): | 28.02.2017 |
Datum der Freischaltung: | 28.02.2017 |
Freies Schlagwort / Tag: | Branching programs; Computational complexity; Existential, universal, parity, and majority acceptance mode; Ordered binary decision diagrams with repeated tests; Theory of computation |
Jahrgang: | 98 |
Ausgabe / Heft: | 1 |
Erste Seite: | 6 |
Letzte Seite: | 10 |
DDC-Klassifikation: | Informatik, Informationswissenschaft, allgemeine Werke / Informatik, Wissen, Systeme / Datenverarbeitung; Informatik |
Hochschulbibliografie: | Hochschulbibliografie |
Lizenz (Deutsch): | Creative Commons - Namensnennung-Nicht kommerziell-Keine Bearbeitung |