• search hit 17 of 28
Back to Result List

Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Author:Henrik Brosenne, Matthias Homeister, Stephan Waack
ISSN:1872-6119 (Online)
ISSN:0020-0190 (Print)
Parent Title (English):Information Processing Letters
Document Type:Article
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
First Page:6
Last Page:10
Dewey Decimal Classification:Informatik, Informationswissenschaft, allgemeine Werke / Informatik, Wissen, Systeme / Datenverarbeitung; Informatik
University Bibliography:Hochschulbibliographie
Licence (German):Creative Commons - Namensnennung-Nicht kommerziell-Keine Bearbeitung