Logic in Computer Science in LiB

• Abteilung I des Instituts für Informatik
• Arbeitsgruppe Karpinski der Abteilung V des Instituts für Informatik

• Prof. Dr. Christel Baier (Abt. I)
• Prof. Dr. Marek Karpinski (Abt. V)
• Prof. Dr. Rolf Klein (Abt. I)