View publication by year:
- CT-1994-01:
-
Harry Buhrman, Leen Torenvliet
On the Cutting Edge of Relativization: the Resource Bounded Injury Method
1.Full Text.
- CT-1994-02:
-
Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul Vitányi
Randomized Wait-Free Distributed Naming
1.Full Text.
- CT-1994-03:
-
Ming Lee, John Tromp, Paul Vitányi
Sharpening Occam's Razor (extended abstract)
1.Full Text.
- CT-1994-04:
-
Ming Lee, Paul Vitányi
Inductive Reasoning
1.Full Text.
- CT-1994-05:
-
Tao Jiang, Joel I. Seiferas, Paul M.B. Vitányi
Two heads are Better than Two Tapes
1.Full Text.
- CT-1994-06:
-
Guido te Brake, Joost N. Kok, Paul Vitányi
Model Selection for Neural Networks: Comparing MDL and NIC
1.Full Text.
- CT-1994-07:
-
Charles H. Bennett, Péter Gács, Ming Li, Paul M.B. Vitányi, Wojciech H. Zurek
Thermodynamics of Computation and Information Distance
1.Full Text.
- CT-1994-08:
-
Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling
The STO-problem is NP-hard
1.Full Text.
- CT-1994-09:
- Klaus Ambos-Spies, Sebastiaan A. Terwijn, Zheng Xizhong Resource Bounded Randomness and Weakly Complete Problems
- CT-1994-10:
- Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan A. Terwijn Genericity and Measure for Exponential Time
- CT-1994-11:
-
Natasha Alechina
Logic with Probabilistic Operators
1.Full Text.
- CT-1994-12:
-
Marianne Kalsbeek
Gentzen Systems for Logic Programming Styles
1.Full Text.
- CT-1994-13:
- Peter Desain, Henkjan Honing CLOSe to the edge? Advanced Object-Oriented Techniques in the Representation of Musical Knowledge
- CT-1994-14:
- Henkjan Honing The Vibrato Problem. Comparing two Ways to Describe the Intraction between the Continuous Knowledge and Discrete Components in Music Representation Systems
- LP-1994-01:
- Dimitar Gelev Introducing Some Classical Elements of Modal Logic to the Propositional Logics of Qualitative Probabilities
- LP-1994-02:
-
Andrei Arsov
Basic Arrow Logic with Relation Algebraic Operators
1.Full Text.
- LP-1994-03:
-
Jerry Seligman
An algebraic appreciation of diagrams
1.Full Text.
- LP-1994-04:
-
Kazimierz Swirydowicz
A Remark on the Maximal Extensions of the Relevant Logic \em R
1.Full Text.
- LP-1994-05:
- Natasha Kurtonina The Lambek Calculus: Relational Semantics and the Method of Labelling
- LP-1994-06:
- Johan van Benthem, Dag Westerståhl Directions in Generalized Quantifier Theory
- LP-1994-07:
-
Nata~a Rakic
Absolute Time, Special Relativity and ML$^\nu$
1.Full Text.
- LP-1994-08:
-
Daniel Osherson, Scott Weinstein, Dick de Jongh, Eric Martin
Formal Learning Theory
1.Full Text.
- LP-1994-09:
-
Harry P. Stein
Linguistic Normativity and Kripke's Sceptical Paradox
1.Full Text.
- LP-1994-10:
-
Harry P. Stein
The Hazards of Harmony
1.Full Text.
- LP-1994-11:
- Paul Dekker Predicate Logic with Anaphora
- LP-1994-12:
- Paul Dekker Representation and Information in Dynamic Semantics
- LP-1994-13:
-
Jeroen Groenendijk, Martin Stokhof, Frank Veltman
This Might Be It
1.Full Text.
- LP-1994-14:
-
Jeroen Groenendijk, Martin Stokhof, Frank Veltman
Update Semantics for Modal Predicate Logic
1.Full Text.
- LP-1994-15:
-
Henk Zeevat
The Mechanics of the Counterpart Relation
1.Full Text.
- LP-1994-16:
-
David Beaver
When Variables Don't Vary Enough
1.Full Text.
- LP-1994-17:
-
David Beaver
Accommodating Topics
1.Full Text.
- LP-1994-18:
- Claire Gardent Discourse Multiple Dependencies
- LP-1994-19:
- Renate Bartsch The Relationship between Connectionist Models and a Dynamic Data-Oriented Theory of Concept Formation
- LP-1994-20:
-
Renate Bartsch
The Myth of Literal Meaning
1.Full Text.
- LP-1994-21:
-
Noor van Leusen
The Interpretation of Corrections
1.Full Text.
- LP-1994-22:
-
Maarten Marx, Szabolcs Mikulás, István Németi
Taming Arrow Logic
1.Full Text.
- LP-1994-23:
- Jaap van der Does Cut Might Cautiously
- LP-1994-24:
-
Michiel Leezenberg
Metaphor and Literacy
1.Full Text.
- ML-1994-01:
- Domenico Zambella Notes on polynomially bounded arithmetic
- ML-1994-02:
- Domenico Zambella End Extensions of Models of Linearly Bounded Arithmetic
- ML-1994-03:
-
Johan van Benthem, Dick de Jongh, Gerard Renardel de Lavalette, Albert Visser
NNIL, A Study in Intuitionistic Propositional Logic
1.Full Text.
- ML-1994-04:
- Michiel van Lambalgen Independence Structures in Set Theory
- ML-1994-05:
-
V. Kanovei
IST is more than an Algorithm to prove ZFC Theorems
1.Full Text.
- ML-1994-06:
- Lex Hendriks, Dick de Jongh Finitely Generated Magari Algebras and Arithmetic
- ML-1994-07:
-
Sergei Artëmov, Artëm Chuprina
Logic of Proofs with Complexity Operators
1.Full Text.
- ML-1994-08:
- Andreja Prijatelj Free Algebras Corresponding to Multiplicative Classical Linear Logic and some Extensions
- ML-1994-09:
- Giovanna D'Agostino, Angelo Montanari, Alberto Policriti A Set-Theoretic Translation Method for Polymodal Logics
- ML-1994-10:
- Elena Nogina Logic of Proofs with the Strong Provability Operator
- ML-1994-11:
- Natasha Alechina On One Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic
- ML-1994-12:
-
Victor Selivanov
Fine Hierarchy and Definability in the Lindenbaum Algebra
1.Full Text.
- ML-1994-13:
- Marco R. Vervoort An Elementary Construction of an Ultrafilter on $\aleph_1$ Using the Axiom of Determinateness
- X-1994-01:
-
Johan van Benthem
Two Essays on Semantic Modelling
1.Full Text, 2.Old version.
- X-1994-02:
-
Vladimir Kanovei, Michiel van Lambalgen
Another Construction of Choiceless Ultrapower
1.Full Text.
- X-1994-03:
-
Natasha Alechina, Michiel van Lambalgen
Correspondence and Completeness for Generalized Quantifiers
1.Full Text.
- X-1994-04:
-
Harry P. Stein
Primitieve Normen: Lingu\"\i stische Normativiteit in het Licht van Kripke's Sceptische Paradox
1.Full Text.
- X-1994-05:
-
Johan van Benthem
Logic and Argumentation
1.Full Text.
- X-1994-06:
-
Natasha Alechina, Philippe Smets
A Note on Modal Logics for Partial Belief
1.Full Text.
- X-1994-07:
-
Michiel Leezenberg
The Shabak and the Kakais: Dynamics of Ethnicity in Iraqi Kurdistan
1.Full Text.