Main Page Navigation
CT-1989-01 :
Michiel H.M. Smid
Dynamic Deferred Data Structures
CT-1989-02 :
Peter van Emde Boas
Machine Models and Simulations
CT-1989-03 :
Ming Li, Herman Neuféglise, Leen Torenvliet, Peter van Emde Boas
On Space Efficient Simulation
CT-1989-04 :
Harry Buhrman, Leen Torenvliet
A Comparison of Reductions on Nondeterministic Space
CT-1989-05 :
Pieter H. Hartel, Michiel H.M. Smid, Leen Torenvliet, Willem G. Vree
A Parallel Functional Implementation of Range Queries
CT-1989-06 :
H.W. Lenstra Jr.
Finding Isomorphisms between Finite Fields
CT-1989-07 :
Ming Li, Paul M.B. Vitanyi
A Theory of Learning Simple Concepts under Simple Distributinos and Average Case Complexity for the Universal Distribution (Prel. Version)
CT-1989-08 :
Harry Buhrman, Steven Homer, Leen Torenvliet
Honest Reductions, Completeness and Nondeterministic Complexity Classes
CT-1989-09 :
Harry Buhrman, Edith Spaan, Leen Torenvliet
On Adaptive Resource Bounded Computations
CT-1989-10 :
Sieger van Denneheuvel
The Rule Language RL/1
CT-1989-11 :
Zhisheng Huang, Sieger van Denneheuvel, Peter van Emde Boas
Towards Functional Classification of Recursive Query Processing
LP-1989-01 :
Johan van Benthem
The Fine-Structure of Categorial Semantics
LP-1989-02 :
Jeroen Groenendijk, Martin Stokhof
Dynamic Predicate Logic, towards a compositional, non-representational semantics of discourse
LP-1989-03 :
Yde Venema
Two-dimensional Modal Logics for Relation Algebras and Temporal Logic of Intervals
LP-1989-04 :
Johan van Benthem
Language in Action
LP-1989-05 :
Johan van Benthem
Modal Logic as a Theory of Information
LP-1989-06 :
Andreja Prijatelj
Intensional Lambek Calculi: Theory and Application
LP-1989-07 :
Heinrich Wansing
The Adequacy Problem for Sequential Propositional Logic
LP-1989-08 :
Victor Sánchez Valencia
Peirce's Propositional Logic: From Algebra to Graphs
LP-1989-09 :
Zhisheng Huang
Dependency of Belief in Distributed Systems
ML-1989-01 :
Dick de Jongh, Albert Visser
Explicit Fixed Points for Interpretability Logic
ML-1989-02 :
Roel de Vrijer
Extending the Lambda Calculus with Surjective Pairing is conservative
ML-1989-03 :
Dick de Jongh, Franco Montagna
Rosser Orderings and Free Variables
ML-1989-04 :
Dick de Jongh, Marc Jumulet, Franco Montagna
On the Proof of Solovay's Theorem
ML-1989-05 :
Rineke Verbrugge
$\Sigma$-Completeness and Bounded Arithmetic
ML-1989-06 :
Michiel van Lambalgen
The Axiomatization of Randomness
ML-1989-07 :
Dirk Roorda
Elementary Inductive Definitions in HA: from Strictly Positive towards Monotone
ML-1989-08 :
Dirk Roorda
Investigations into Classical Linear Logic
ML-1989-09 :
Allesandro Carbone
Provable Fixed Points in $I\Delta_0+\Omega_1$.
X-1989-01 :
Marianne Kalsbeek
An Orey Sentence for Predicative Arithmetic
X-1989-02 :
G. Wagemakers
New Foundations: A Survey of Quine's Set Theory
X-1989-03 :
A.S. Troelstra
Index of the Heyting Nachlass
X-1989-04 :
Jeroen Groenendijk, Martin Stokhof
Dynamic Montague Grammar, a first sketch
X-1989-05 :
Maarten de Rijke
The Modal Theory of Inequality
X-1989-06 :
Peter van Emde Boas
Een Relationele Semantiek voor Conceptueel Modelleren: Het RL-project
