Department Informatik

Evolution of Typed Expressions describing Art Nervous Systems (1994) Jacob C Conference contribution, Original article Cyclic debugging for pSather, a parallel object-oriented programming language (1994) Minas M Conference contribution, Original article PM Systemarchitektur (1994) Kleinöder J Book chapter / Article in edited volumes Graph Transformations in Computer Science (1994) Schneider HJ, Ehrig H Edited Volume Design and Implementation of Neural Networks for Matching Contours in CAD Models (1994) Wilke P, Geiger H, Greska W, Behrendtz J Conference contribution, Original article Verteilte Simulation Neuronaler Netze mit NeuroGraph V3.0 (1994) Wilke P, Scholz R Conference contribution, Original article Data semantics in a cooperative enviroment. (1994) Lenz R, Wedekind H, Kirsche T Other publication type Ω-MKRP: A proof development environment (1994) Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J Conference contribution, Original article Unification in a sorted λ-calculus with term declarations and function sorts (1994) Kohlhase M Conference contribution, Original article Ereignisorientierte Spezifikation und Ausführung von (transaktionalen) Abläufen. (1994) Lenz R, Kirsche T, Schmidt R, Schuster H Journal article, Original article