KIT | KIT-Bibliothek | Impressum

A first-order calculus based on propositional BDDs

Posegga, Joachim; Schneider, Klaus



Zugehörige Institution(en) am KIT Sonderforschungsbereich 358 (SFB 358)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 326594
Erscheinungsvermerk In: Anwendung formaler Methoden im Systementwurf. Frankfurt, M. 1994. (Interner Bericht. Fachbereich Informatik, Universität Frankfurt. 1994,6.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page