Dokument-ID Dokumenttyp Verfasser/Autoren Herausgeber Haupttitel Abstract Auflage Verlagsort Verlag Erscheinungsjahr Seitenzahl Schriftenreihe Titel Schriftenreihe Bandzahl ISBN Quelle der Hochschulschrift Konferenzname Quelle:Titel Quelle:Jahrgang Quelle:Heftnummer Quelle:Erste Seite Quelle:Letzte Seite URN DOI Abteilungen OPUS4-1825 Wissenschaftlicher Artikel Brosenne, Henrik; Damm, Carsten; Homeister, Matthias; Waack, Stephan On approximation by ⊕-OBDDs 2007 4 Information Processing Letters 102 1 17 21 10.1016/j.ipl.2006.10.011