ILLC Publications, All Series, 1988

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.


Coding for publications: Series-Year-Number, with DS = Dissertation Series; MoL = Master of Logic Thesis; PP = Prepublication Series (since 1999); X = Technical Notes; CL = Computational Linguistics (up to 1993); CT = Computation and Complexity Theory (up to 1998); LP = Logic, Philosophy and Linguistics (up to 1998); ML = Mathematical Logic and Foundations (up to 1998); ITLI = Instituut voor Taal, Logika en Informatie (up to 1987);

X-1988-01:
Mark Jumulet On Solovay's Completeness Theorem.
1.Full Text.
ML-1988-05:
A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics.
1.Full Text.
ML-1988-04:
A.S. Troelstra On the Early History of Intuitionistic Logic.
1.Full Text.
ML-1988-03:
Dick de Jongh, Frank Veltman Provability Logics for Relative Interpretability.
1.Full Text.
ML-1988-02:
M.D.G. Swaen The Arithmetical Fragment of Martin Löf's Type Theories with weak $\S igma$-Elimination.
1.Full Text.
ML-1988-01:
Jaap van Oosten Lifschitz' Realizability.
1.Full Text.
LP-1988-10:
Anneke Kleppe A Blissymbolics Translation Program.
1.Full Text.
LP-1988-09:
Theo M.V. Janssen A mathematical model for the CAT framework of Eurotra.
1.Full Text.
LP-1988-08:
Jeroen Groenendijk, Martin Stokhof Context and Information in Dynamic Semantics.
1.Full Text.
LP-1988-07:
Renate Bartsch Tenses, Aspecs and their Scopes in Discourse.
1.Full Text.
LP-1988-06:
Johan van Benthem Semantic Parallels in Natural Language and Computation.
1.Full Text.
LP-1988-05:
Johan van Benthem Logical Constants across Varying Types.
1.Full Text.
LP-1988-04:
Reinhard Muskens Going Partial in Montague Grammar.
1.Full Text.
LP-1988-03:
n.v.t. Year Report 1987.
LP-1988-02:
Yde Venema Experssive and Completeness.
LP-1988-01:
Michiel van Lambalgen Algorithmic Information Theory.
CT-1988-11:
Siger van Denneheuvel, Peter van Emde Boas Towards implementing RL.
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-09:
Theo M.V. Janssen Towards a Universal Parsing Algorithm for Functional Grammar.
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-07:
Johan van Benthem Time, Logic and Computation.
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-05:
Peter van Emde Boas Machine Models and Simulations (revised version).
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-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-02:
Michiel H.M. Smid General Lower Bounds for the Partitioning of Range Trees.
1.Full Text.
CT-1988-01:
Ming Li, Paul M.B. Vitanyi Two Decades of Applied Kolmogorov Complexity.
1.Full Text.

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