TY - CHAP A1 - Homeister, Matthias A1 - Waack, Stephan T1 - Quantum Ordered Binary Decision Diagrams with Repeated Tests T2 - 7th International Symposium on Representations and Methodology of Future Computing Technologies, 5 September, 2005, University of Tokyo Y1 - 2005 ER - TY - CHAP A1 - Brosenne, H. A1 - Damm, C. A1 - Homeister, Matthias T1 - On Approximation Properties of Parity-OBDDs T2 - Proceedings of RM2005 Y1 - 2005 ER -