Titel |
Case study: manipulating ⊕-OBDDs by means of signatures / Ch. Meinel ; H. Sack. Universität Trier, Mathematik/Informatik |
|---|---|
Beteiligt |
Christoph Meinel (Verfasser) |
Erschienen |
Trier: Univ., Mathematik/Informatik |
Umfang |
12 Bl. : graph. Darst. |
Sprache |
|
Themengebiet |
|
Reihe |
Forschungsbericht / Universität Trier, Mathematik, Informatik ; Nr. 97,15 |
Datensatz-ID |
952593637 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: