Dokumente des Instituts

• Artikel in Tagungsbänden
 

• Diplomarbeiten (Archiv)

• Schied, Georg; Barthelmann, Klaus: Linear Types for Higher Order Processes with First Class Directed Channels. In: Proceedings: Workshop on Graph Rewriting and Computation (SEGRAGRA'95), Electronic Notes in Theoretical Computer Science, Vol. 2, 1995.
• Schied, Georg; Barthelmann, Klaus: Linear Types for Higher Order Processes with First Class Directed Channels. In: Proceedings of the Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Electronic Notes in Theoretical Computer Science, Vol. 2.
• Schied, Georg: Programmieren mit Prozessen höherer Ordnung und mit linearen Typen. In: Proceedings des 12. Workshop GI-FG 2.1.4 'Alternative Konzepte für Sprachen und Rechner, Bad Honnef, 1995.

• Spiegel, Andre: Konstruktion eines Dolmetschers, Diplomarbeit Nr. 2, 1995.
• Würthele, Volker: Checklisten für die Software-Bearbeitung, Diplomarbeit Nr. 3, 1995.