- search hit 1 of 1
Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance
Author: | 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) |
Parent Title (English): | Information Processing Letters |
Document Type: | Article |
Language: | English |
Year of Publishing: | 2006 |
Date of Publication (online): | 2017/02/28 |
Release Date: | 2017/02/28 |
Tag: | Branching programs; Computational complexity; Existential, universal, parity, and majority acceptance mode; Ordered binary decision diagrams with repeated tests; Theory of computation |
Volume: | 98 |
Issue: | 1 |
First Page: | 6 |
Last Page: | 10 |
Dewey Decimal Classification: | Informatik, Informationswissenschaft, allgemeine Werke / Informatik, Wissen, Systeme / Datenverarbeitung; Informatik |
University Bibliography: | Hochschulbibliografie |
Licence (German): | Creative Commons - Namensnennung-Nicht kommerziell-Keine Bearbeitung |