• search hit 4 of 5
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