ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen
By: Barbara Leoniuk
Contributors: Universität Kiel
Published: 2001
Language: ger
Number of pages: 176
Notes: Thesis (doctoral)--Christian-Albrechts-Universität zu Kiel, 2001.