Dissertations, 1994

For ordering copies of ILLC dissertations, please contact the ILLC Buro.

Complementing the dissertations listed below, the ILLC 'Historical Dissertations' Series is a new initiative meant to make some dissertations available that are of historical, and partly also contemporary relevance to the ILLC, and that are not readily accessible elsewhere.

DS-1994-10:
Zhisheng Huang Logics for Agents with Bounded Rationality. For ordering, please contact the ILLC Buro.
1.Abstract.
DS-1994-09:
Wan Fokkink Clocks, Trees and Stars in Process Theory. For ordering, please contact the ILLC Buro.
1.Abstract.
DS-1994-08:
Makoto Kanazawa Learnable Classes of Categorial Grammars. For ordering, please contact the ILLC Buro.
1.Abstract.
DS-1994-07:
V. Yu. Shavrukov Adventures in Diagonalizable Algebras. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.
DS-1994-06:
Domenico Zambella Chapters on Bounded Arithmetic and on Provability Logic. For ordering, please contact the ILLC Buro.
1.Full Text (PDF), 2.Full Text (DJVU), 3.Abstract, 4.Samenvatting.
DS-1994-05:
Arie van Deursen Executable Language Definitions, Case Studies and Origin Tracking Techniques. For ordering, please contact the ILLC Buro.
1.Samenvatting.
DS-1994-04:
Jan Jaspars Calculi for Constructive Communication, a Study of the Dynamics of Partial States. For ordering, please contact the ILLC Buro.
1.Abstract.
DS-1994-03:
Nicoline Johanna Drost Process Theory and Equation Solving. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.
DS-1994-02:
Jan Willem Cornelis Koorn Generating Uniform User-Interfaces for Interactive Programming Environments. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.
DS-1994-01:
Harold Schellinx The Noble Art of Linear Decorating. For ordering, please contact the ILLC Buro.
1.Abstract, 2.Samenvatting.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X