November 25: Z.Esik, The equational logic of fixed points


Subject: November 25: Z.Esik, The equational logic of fixed points
From: Helmut Veith (kgs-owner@dbai.tuwien.ac.at)
Date: Mon Nov 24 1997 - 15:00:14 MET


Lecture Announcement
--------------------

Zoltan Esik
====================================================
University of Szeged

The equational logic of fixed points
----------------------------------------------------
Tuesday, November 25, 1997, 18.15

PLACE: Technische Universitaet Wien
Wiedner Hauptstr. 8-10, A-1040 Wien
Dissertantenraum, gruener Bereich, Turm A, 8.Stock

[ This lecture belongs to the lecture series of the
Oesterreichische Mathematische Gesellschaft ]

------------------------
Kurt-Goedel-Gesellschaft
Technische Universitaet Wien
Institut fuer Computersprachen E185.2
Resselgasse 3/1, A-1040 Wien

Tel: (+43 1) 588 01/4088
Fax: (+43 1) 504 15 89
email: mailto:kgs@logic.tuwien.ac.at
http://logic.ac.at
listserver: mailto:listproc@dbai.tuwien.ac.at

Mit Unterstuetzung des
Bundesministeriums fuer Wissenschaft und Forschung



This archive was generated by hypermail 2b25 : Thu Apr 06 2000 - 16:19:18 MET DST