Number of items: **35**.

CT-1989-08:
Buhrman, Harry and Homer, Steven and Torenvliet, Leen
(1989)
*Honest Reductions, Completeness and Nondeterministic Complexity Classes.*
[Report]

CT-1989-09:
Buhrman, Harry and Spaan, Edith and Torenvliet, Leen
(1989)
*On Adaptive Resource Bounded Computations.*
[Report]

CT-1989-04:
Buhrman, Harry and Torenvliet, Leen
(1989)
*A Comparison of Reductions on Nondeterministic Space.*
[Report]

ML-1989-09:
Carbone, Allesandro
(1989)
*Provable Fixed Points in $I\Delta_0+\Omega_1$.*
[Report]

ML-1989-04:
de Jongh, Dick and Jumulet, Marc and Montagna, Franco
(1989)
*On the Proof of Solovay's Theorem.*
[Report]

ML-1989-03:
de Jongh, Dick and Montagna, Franco
(1989)
*Rosser Orderings and Free Variables.*
[Report]

ML-1989-01:
de Jongh, Dick and Visser, Albert
(1989)
*Explicit Fixed Points for Interpretability Logic.*
[Report]

X-1989-05:
de Rijke, Maarten
(1989)
*The Modal Theory of Inequality.*
[Report]

ML-1989-02:
de Vrijer, Roel
(1989)
*Extending the Lambda Calculus with Surjective Pairing is conservative.*
[Report]

X-1989-04:
Groenendijk, Jeroen and Stokhof, Martin
(1989)
*Dynamic Montague Grammar, a first sketch.*
[Report]

LP-1989-02:
Groenendijk, Jeroen and Stokhof, Martin
(1989)
*Dynamic Predicate Logic, towards a compositional, non-representational semantics of discourse.*
[Report]

CT-1989-05:
Hartel, Pieter H. and Smid, Michiel H.M. and Torenvliet, Leen and Vree, Willem G.
(1989)
*A Parallel Functional Implementation of Range Queries.*
[Report]

LP-1989-09:
Huang, Zhisheng
(1989)
*Dependency of Belief in Distributed Systems.*
[Report]

CT-1989-11:
Huang, Zhisheng and van Denneheuvel, Sieger and van Emde Boas, Peter
(1989)
*Towards Functional Classification of Recursive Query Processing.*
[Report]

CT-1989-06:
Jr., H.W. Lenstra
(1989)
*Finding Isomorphisms between Finite Fields.*
[Report]

X-1989-01:
Kalsbeek, Marianne
(1989)
*An Orey Sentence for Predicative Arithmetic.*
[Report]

CT-1989-03:
Li, Ming and NeufĂ©glise, Herman and Torenvliet, Leen and van Emde Boas, Peter
(1989)
*On Space Efficient Simulation.*
[Report]

CT-1989-07:
Li, Ming and Vitanyi, Paul M.B.
(1989)
*A Theory of Learning Simple Concepts under Simple Distributinos and Average Case Complexity for the Universal Distribution (Prel. Version).*
[Report]

LP-1989-06:
Prijatelj, Andreja
(1989)
*Intensional Lambek Calculi: Theory and Application.*
[Report]

ML-1989-07:
Roorda, Dirk
(1989)
*Elementary Inductive Definitions in HA: from Strictly Positive towards Monotone.*
[Report]

ML-1989-08:
Roorda, Dirk
(1989)
*Investigations into Classical Linear Logic.*
[Report]

CT-1989-01:
Smid, Michiel H.M.
(1989)
*Dynamic Deferred Data Structures.*
[Report]

X-1989-03:
Troelstra, A.S.
(1989)
*Index of the Heyting Nachlass.*
[Report]

LP-1989-08:
Valencia, Victor SĂˇnchez
(1989)
*Peirce's Propositional Logic: From Algebra to Graphs.*
[Report]

LP-1989-03:
Venema, Yde
(1989)
*Two-dimensional Modal Logics for Relation Algebras and Temporal Logic of Intervals.*
[Report]

ML-1989-05:
Verbrugge, Rineke
(1989)
*$\Sigma$-Completeness and Bounded Arithmetic.*
[Report]

LP-1989-01:
van Benthem, Johan
(1989)
*The Fine-Structure of Categorial Semantics.*
[Report]

LP-1989-04:
van Benthem, Johan
(1989)
*Language in Action.*
[Report]

LP-1989-05:
van Benthem, Johan
(1989)
*Modal Logic as a Theory of Information.*
[Report]

CT-1989-10:
van Denneheuvel, Sieger
(1989)
*The Rule Language RL/1.*
[Report]

X-1989-06:
van Emde Boas, Peter
(1989)
*Een Relationele Semantiek voor Conceptueel Modelleren: Het RL-project.*
[Report]

CT-1989-02:
van Emde Boas, Peter
(1989)
*Machine Models and Simulations.*
[Report]

ML-1989-06:
van Lambalgen, Michiel
(1989)
*The Axiomatization of Randomness.*
[Report]

X-1989-02:
Wagemakers, G.
(1989)
*New Foundations: A Survey of Quine's Set Theory.*
[Report]

LP-1989-07:
Wansing, Heinrich
(1989)
*The Adequacy Problem for Sequential Propositional Logic.*
[Report]