-
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
