Universiteit van Amsterdam

ILLC Publications, All Series, 1988

CT-1988-01:
Ming Li, Paul M.B. Vitanyi Two Decades of Applied Kolmogorov Complexity
CT-1988-02:
Michiel H.M. Smid General Lower Bounds for the Partitioning of Range Trees
CT-1988-03:
Michiel H.M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas Maintaining Multiple Representations of Dynamic Data Structures
CT-1988-04:
Dick de Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette Computations in Fragments of Intuitionistic Propositional Logic
CT-1988-05:
Peter van Emde Boas Machine Models and Simulations (revised version)
CT-1988-06:
Michiel H.M. Smid A Data Structure for the Union-find Problem having good Single-Operation Complexity
CT-1988-07:
Johan van Benthem Time, Logic and Computation
CT-1988-08:
Michiel H.M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas Multiple Representations of Dynamic Data Structures
CT-1988-09:
Theo M.V. Janssen Towards a Universal Parsing Algorithm for Functional Grammar
CT-1988-10:
Edith Spaan, Leen Torenvliet, Peter van Emde Boas Nondeterminism, Fairness and a Fundamental Analogy
CT-1988-11:
Siger van Denneheuvel, Peter van Emde Boas Towards implementing RL
LP-1988-01:
Michiel van Lambalgen Algorithmic Information Theory
LP-1988-02:
Yde Venema Experssive and Completeness
LP-1988-03:
Year Report 1987
LP-1988-04:
Reinhard Muskens Going Partial in Montague Grammar
LP-1988-05:
Johan van Benthem Logical Constants across Varying Types
LP-1988-06:
Johan van Benthem Semantic Parallels in Natural Language and Computation
LP-1988-07:
Renate Bartsch Tenses, Aspecs and their Scopes in Discourse
LP-1988-08:
Jeroen Groenendijk, Martin Stokhof Context and Information in Dynamic Semantics
LP-1988-09:
Theo M.V. Janssen A mathematical model for the CAT framework of Eurotra
LP-1988-10:
Anneke Kleppe A Blissymbolics Translation Program
ML-1988-01:
Jaap van Oosten Lifschitz' Realizability
ML-1988-02:
M.D.G. Swaen The Arithmetical Fragment of Martin L\"of's Type Theories with weak $\Sigma$-Elimination
ML-1988-03:
Dick de Jongh, Frank Veltman Provability Logics for Relative Interpretability
ML-1988-04:
A.S. Troelstra On the Early History of Intuitionistic Logic
ML-1988-05:
A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics
X-1988-01:
Mark Jumulet On Solovay's Completeness Theorem