Komplexitätstheoretische und algorithmische Untersuchungen linear transformierter OBDDs

Dortumund (2008)
Buch / Monographie / Fach: Informatik
Diplomarbeit, Univ. Dortumund, 2008