-
CL-1991-01:
-
J.C. Scholtes
Kohonen Feature Maps in Natural Language Processing
-
CL-1991-02:
-
J.C. Scholtes
Neural Nets and their Relevance for Information Retrieval
-
CL-1991-03:
-
Hub Prüst, Remko Scha, Martin van den Berg
A Formal Discourse Grammar tackling Verb Phrase Anaphora
-
CT-1991-01:
-
Ming Li, Paul M.B. Vitányi
Kolmogorov Complexity Arguments in Combinatorics
-
CT-1991-02:
-
Ming Li, John Tromp, Paul M.B. Vitányi
How to Share Concurrent Wait-Free Variables
-
CT-1991-03:
-
Ming Li, Paul M.B. Vitányi
Average Case Complexity under the Universal Distribution Equals Worst Case Complexity
-
CT-1991-04:
-
Sieger van Denneheuvel, Karen Kwast
Weak Equivalence
-
CT-1991-05:
-
Sieger van Denneheuvel, Karen Kwast
Weak Equivalence for Constraint Sets
-
CT-1991-06:
-
Edith Spaan
Census Techniques on Relativized Space Classes
-
CT-1991-07:
-
Karen L. Kwast
The Incomplete Database
-
CT-1991-08:
-
Kees Doets
Levationis Laus
-
CT-1991-09:
-
Ming Li, Paul M.B. Vitányi
Combinatorial Properties of Finite Sequences with high Kolmogorov Complexity
-
CT-1991-10:
-
John Tromp, Paul Vitányi
A Randomized Algorithm for Two-Process Wait-Free Test-and-Set
-
CT-1991-11:
-
Lane A. Hemachandra, Edith Spaan
Quasi-Injective Reductions
-
CT-1991-12:
-
Krzysztof R. Apt, Dino Pedreschi
Reasoning about Termination of Prolog Programs
-
LP-1991-01:
-
Wiebe van der Hoek, Maarten de Rijke
Generalized Quantifiers and Modal Logic
-
LP-1991-02:
-
Frank Veltman
Defaults in Update Semantics
-
LP-1991-03:
-
Willem Groeneveld
Dynamic Semantics and Circular Propositions (superseded by X-1992-03)
-
LP-1991-04:
-
Makoto Kanazawa
The Lambek Calculus enriched with Additional Connectives
-
LP-1991-05:
-
Zhisheng Huang, Peter van Emde Boas
The Schoenmakers Paradox: Its Solution in a Belief Dependence Framework
-
LP-1991-06:
-
Zhisheng Huang, Peter van Emde Boas
Belief Dependence, Revision and Persistence
-
LP-1991-07:
-
Henk Verkuyl, Jaap van der Does
The Semantics of Plural Noun Phrases
-
LP-1991-08:
-
Víctor Sánchez Valencia
Categorial Grammar and Natural Reasoning
-
LP-1991-09:
-
Arthur Nieuwendijk
Semantics and Comparative Logic
-
LP-1991-10:
-
Johan van Benthem
Logic and the Flow of Information
-
ML-1991-01:
-
Yde Venema
Cylindric Modal Logic
-
ML-1991-02:
-
Alessandro Berarducci, Rineke Verbrugge
On the Metamathematics of Weak Theories
-
ML-1991-03:
-
Domenico Zambella
On the Proofs of Arithmetical Completeness for Interpretability Logic
-
ML-1991-04:
-
Raymond Hoofman, Harold Schellinx
Collapsing Graph Models by Preorders
-
ML-1991-05:
-
A.S. Troelstra
History of Constructivism in the Twentieth Century
-
ML-1991-06:
-
Inge Bethke
Finite Type Structures within Combinatory Algebras
-
ML-1991-07:
-
Yde Venema
Modal Derivation Rules
-
ML-1991-08:
-
Inge Bethke
Going Stable in Graph Models
-
ML-1991-09:
-
V.Yu. Shavrukov
A Note on the Diagonalizable Algebras of PA and ZF
-
ML-1991-10:
-
Maarten de Rijke, Yde Venema
Sahlqvist's Theorem for Boolean Algebras with Operators
-
ML-1991-11:
-
Rineke Verbrugge
Feasible Interpretability
-
ML-1991-12:
-
Johan van Benthem
Modal Frame Classes, revisited
-
X-1991-01:
-
Alexander Chagrov, Michael Zakharyaschev
The Disjunction Property of Intermediate Propositional Logics
-
X-1991-02:
-
Alexander Chagrov, Michael Zakharyaschev
On the Undecidability of the Disjunction Property of Intermediate Propositional Logics
-
X-1991-03:
-
V. Yu. Shavrukov
Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (superseded by X-1991-15)
-
X-1991-04:
-
K.N. Ignatiev
Partial Conservativity and Modal Logics
-
X-1991-05:
-
Johan van Benthem
Temporal Logic
-
X-1991-06:
-
Annual Report 1990
-
X-1991-07:
-
A.S. Troelstra
Lectures on Linear Logic, Errata and Supplement
-
X-1991-08:
-
Giorgie Dzhaparidze
Logic of Tolerance
-
X-1991-09:
-
L.D. Beklemishev
On Bimodal Provability Logics for P1-axiomatized Extensions of Arithmetical Theories
-
X-1991-10:
-
Michiel van Lambalgen
Independence, Randomness and the Axiom of Choice (superseded by X-1991-17)
-
X-1991-11:
-
Michael Zakharyaschev
Canonical Formulas for K4. Part I: Basic Results
-
X-1991-12:
-
Herman Hendriks
Flexibele Categoriale Syntaxis en Semantiek: de proefschriften van Frans Zwarts en Michael Moortgat
-
X-1991-13:
-
Max I. Kanovich
The Multiplicative Fragment of Linear Logic is NP-Complete
-
X-1991-14:
-
Max I. Kanovich
The Horn Fragment of Linear Logic is NP-Complete
-
X-1991-15:
-
V. Yu. Shavrukov
Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (revised version of X-1991-03)
-
X-1991-16:
-
V.G. Kanovei
Undecidable Hypotheses in Edward Nelson's Internal Set Theory
-
X-1991-17:
-
Michiel van Lambalgen
Independence, Randomness and the Axiom of Choice (Revised Version of X-1991-10)
-
X-1991-18:
-
Giovanna Cepparello
New Semantics for Predicate Modal Logic: an Analysis from a standard point of view
-
X-1991-19:
-
Papers presented at the Provability Interpretability Arithmetic Conference, 24-31 Aug. 1991, Dept. of Phil., Utrecht University
