Conference Contributions by Institutes Employees

1996

• Christoph Meinel, Thorsten Theobald
  Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
  FMCAD'96, Palo Alto (California, USA), LNCS 1166, Springer Verlag,1996
• Christoph Meinel, S. Waack
  The "log Rank" Conjecture für Modular Communication Complexity
  Proc. STACS'96, Grenoble (Deutschland), LNCS 1046, Springer Verlag,1996