Chair of Software Technology and Programming Technique

Diese Seite auf deutsch

Prof. Dr.-Ing. habil. B. Steinbach

TU Bergakademie Freiberg

Fakultät für Mathematik und Informatik

Institut für Informatik

Softwaretechnologie und Programmierungstechnik

Bernhard-von-Cotta-Str. 1

09596 Freiberg

E-Mail: steinb@informatik.tu-freiberg.de

Tel.: +49/0-37 31-39-25 68

The following information is available:

• research
  • Circuit Design by Decomposition Methods
  • Set of TVLs as a Data Structure for a Boolean Function
  • Verification of Programs using TVLs as a Data Structure for Boolean Equations
• staff
• publications
• Workshop Boolean Problems
  • 1st Workshop "Boolean Problems" 1994
  • 2nd Workshop "Boolean Problems" 1996