Title of article
Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance
Author/Authors
Henrik Brosenne، نويسنده , , Matthias Homeister، نويسنده , , Stephan Waack، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2006
Pages
5
From page
6
To page
10
Keywords
computational complexity , Theory of computation , branching programs , Ordered binary decision diagrams with repeated tests , existential , and majority acceptance mode , parity , universal
Journal title
Information Processing Letters
Serial Year
2006
Journal title
Information Processing Letters
Record number
130217
Link To Document