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