TY - JOUR A1 - Brosenne, Henrik A1 - Homeister, Matthias A1 - Waack, Stephan T1 - Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance T2 - Information Processing Letters KW - Computational complexity KW - Theory of computation KW - Branching programs KW - Ordered binary decision diagrams with repeated tests KW - Existential, universal, parity, and majority acceptance mode Y1 - 2017 UR - https://opus4.kobv.de/opus4-fhbrb/frontdoor/index/index/docId/1827 SN - 1872-6119 (Online) SN - 0020-0190 (Print) VL - 98 IS - 1 SP - 6 EP - 10 ER -