Inhaltsbereich
Publikationen von Wolfgang Zuber
- Proof theory at work: Program development in the MINLOG system.
(mit Benl,
Berger,
Schwichtenberg und
Seisenberger.)
In Wolfgang Bibel und Peter H. Schmitt (Hrsg.)
Automated Deduction - A Basis for Applications.
Volume II: Systems and Implementation Techniques.
Applied Logic Series 9, Kluwer Academic Publishers. Dordrecht / Boston / London, 1998.
- Wozu Mathematische Logik?
In Der Einstein - Unabhängiges Fachblatt der Fakultäten für Mathematik, Physik, Informatik, Meteorologie, Geophysik und Mineralogie. GAF LMU München, Ausgabe 2/1999.
- Bereichstheoretische Semantik der Linearen Logik
Der Andere Verlag. Osnabrück, 2001
