• 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
Metadaten
Author:Henrik Brosenne, Matthias Homeister, 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:Hochschulbibliographie
Licence (German):Creative Commons - Namensnennung-Nicht kommerziell-Keine Bearbeitung