A Talk by T Kropf and Discussion, February 1995

$next$ $up$ $previous$ $contents$
Next: Talk: A Formal Up: Scientific Output from Previous: Foundations

At the TPCD conference (see section 2.4.2), B Möller invited Dr T Kropf (University of Karlsruhe) to give a talk at Augsburg.

Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995