FYI: ILLC Reports, Kluwer New Title Info
| Author: |
Marco R. Vervoort
|
| FYI Body: |
ILLC Research Reports and Technical Notes - --------------------------------------- This document contains the titles of the reports that were published by the Institute for Logic, Language and Computation (ILLC) this year. All ILLC reports are available from the ILLC bureau: ILLC Bureau University of Amsterdam Plantage Muidergracht 24 NL-1018 TV Amsterdam The Netherlands Many reports are also electronically available, by WWW at http://www.wins.uva.nl/research/illc/wwwreports.html and or FTP at ftp://ftp.wins.uva.nl/pub/theory/illc/researchreports/ The ILLC bureau may be contacted by email, at illc@wins.uva.nl Reports are numbered Series-Year-Number, where `Series' is one of LP = Logic, Philosophy and Linguistics ML = Mathematical Logic and Foundations CT = Computation and Complexity Theory - -------------------------------------------------------------------- Report LP-97-01 Title: Dynamic Bits and Pieces Author: Johan van Benthem Report LP-97-02 Title: On Denoting Descriptions Author: Paul Dekker Report LP-97-03 Title: On First Order Information Exchange Author: Paul Dekker Report LP-97-04 Title: Dynamic Epistemic Logic Author: Jelle Gerbrandy Report LP-97-05 Title: Bisimulation and Bounded Bisimulation Author: Jelle Gerbrandy |
