-
CT-1990-01:
-
John Tromp, Peter van Emde Boas
Associative Storage Modification Machines
-
CT-1990-02:
-
Sieger van Denneheuvel, Gerard R. Renardel de Lavalette
A Normal Form for PCSJ Expressions
-
CT-1990-03:
-
Ricard Gavaldà, Leen Torenvliet, Osamu Watanabe, José L. Balcázar
Generalized Kolmogorov Complexity in Relativized Separations
-
CT-1990-04:
-
Harry Buhrman, Edith Spaan, Leen Torenvliet
Bounded Reductions
-
CT-1990-05:
-
Sieger van Denneheuvel, Karen Kwast
Efficient Normalization of Database and Constraint Expressions
-
CT-1990-06:
-
Michiel Smid, Peter van Emde Boas
Dynamic Data Structures on Multiple Storage Media, a Tutorial
-
CT-1990-07:
-
Kees Doets
Greatest Fixed Points of Logic Programs
-
CT-1990-08:
-
Fred de Geus, Ernest Rotterdam, Sieger van Denneheuvel, Peter van Emde Boas
Physiological Modelling using RL
-
CT-1990-09:
-
Roel de Vrijer
Unique Normal Forms for Combinatory Logic with Parallel Conditional, a case study in Conditional Rewriting
-
LP-1990-01:
-
Jaap van der Does
A Generalized Quantifier Logic for Naked Infinitives
-
LP-1990-02:
-
Jeroen Groenendijk, Martin Stokhof
Dynamic Montague Grammar
-
LP-1990-03:
-
Renate Bartsch
Concept Formation and Concept Composition
-
LP-1990-04:
-
Aarne Ranta
Intuitionistic Categorial Grammar
-
LP-1990-05:
-
Patrick Blackburn
Nominal Tense Logic
-
LP-1990-06:
-
Gennaro Chierchia
The Variablity of Impersonal Subjects
-
LP-1990-07:
-
Gennaro Chierchia
Anaphora and Dynamic Logic
-
LP-1990-08:
-
Herman Hendriks
Flexible Montague Grammar
-
LP-1990-09:
-
Paul Dekker
The Scope of Negation in Discourse, towards a Flexible Dynamic Montague grammar
-
LP-1990-10:
-
Theo M.V. Janssen
Models for Discourse Markers
-
LP-1990-11:
-
Johan van Benthem
General Dynamics
-
LP-1990-12:
-
Serge Lapierre
A Functional Partial Semantics for Intensional Logic
-
LP-1990-13:
-
Zhisheng Huang
Logics for Belief Dependence
-
LP-1990-14:
-
Jeroen Groenendijk, Martin Stokhof
Two Theories of Dynamic Semantics
-
LP-1990-15:
-
Maarten de Rijke
The Modal Logic of Inequality
-
LP-1990-16:
-
Zhisheng Huang, Karen Kwast
Awareness, Negation and Logical Omniscience
-
LP-1990-17:
-
Paul Dekker
Existential Disclosure, Implicit Arguments in Dynamic Semantics (superseded by X-1993-01)
-
ML-1990-01:
-
Harold Schellinx
Isomorphisms and Non-Isomorphisms of Graph Models
-
ML-1990-02:
-
Jaap van Oosten
A Semantical Proof of De Jongh's Theorem
-
ML-1990-03:
-
Yde Venema
Relational Games
-
ML-1990-04:
-
Maarten de Rijke
Unary Interpretability Logic
-
ML-1990-05:
-
Domenico Zambella
Sequences with Simple Initial Segments
-
ML-1990-06:
-
Jaap van Oosten
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman
-
ML-1990-07:
-
Maarten de Rijke
A Note on the Interpretability Logic of Finitely Axiomatized Theories
-
ML-1990-08:
-
Harold Schellinx
Some Syntactical Observations on Linear Logic
-
ML-1990-09:
-
Dick de Jongh, Duccio Pianigiani
Solution of a Problem of David Guaspari
-
ML-1990-10:
-
Michiel van Lambalgen
Randomness in Set Theory
-
ML-1990-11:
-
Paul C. Gilmore
The Consistency of an Extended NaDSet
-
X-1990-01:
-
A.S. Troelstra
Remarks on Intuitionism and the Philosophy of Mathematics, Revised Version
-
X-1990-02:
-
Maarten de Rijke
Some Chapters on Interpretability Logic
-
X-1990-03:
-
L.D. Beklemishev
On the Complexity of Arithmetical Interpretations of Modal Formulae
-
X-1990-04:
-
Annual Report 1989
-
X-1990-05:
-
Valentin Shehtman
Derived Sets in Euclidean Spaces and Modal Logic
-
X-1990-06:
-
Valentin Goranko, Solomon Passy
Using the Universal Modality: Gains and Questions
-
X-1990-07:
-
V.Yu. Shavrukov
The Lindenbaum Fixed Point Algebra is Undecidable
-
X-1990-08:
-
L.D. Beklemishev
Provability Logics for Natural Turing Progressions of Arithmetical Theories
-
X-1990-09:
-
V.Yu. Shavrukov
On Rosser's Provability Predicate
-
X-1990-10:
-
Sieger van Denneheuvel, Peter van Emde Boas
An Overview of the Rule Language RL/1
-
X-1990-11:
-
Alessandra Carbone
Provable Fixed points in ID0+W1 (revised version)
-
X-1990-12:
-
Maarten de Rijke
Bi-Unary Interpretability Logic
-
X-1990-13:
-
K.N. Ignatiev
Property, Craig's Property
-
X-1990-14:
-
L.A. Chagrova
Undecidable Problems in Correspondence Theory
-
X-1990-15:
-
A.S. Troelstra
Lectures on Linear Logic
