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

Henrik Brosenne، نويسنده , , Matthias Homeister، نويسنده , , Stephan Waack، نويسنده ,

دوهفته نامه با شماره پیاپی سال 2006

5

6

10

computational complexity , Theory of computation , branching programs , Ordered binary decision diagrams with repeated tests , existential , and majority acceptance mode , parity , universal

Information Processing Letters

2006

Information Processing Letters

130217