Main Page Navigation
CT-1994-01 :
Harry Buhrman, Leen Torenvliet
On the Cutting Edge of Relativization: the Resource Bounded Injury Method
CT-1994-02 :
Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul Vitányi
Randomized Wait-Free Distributed Naming
CT-1994-03 :
Ming Lee, John Tromp, Paul Vitányi
Sharpening Occam's Razor (extended abstract)
CT-1994-04 :
Ming Lee, Paul Vitányi
Inductive Reasoning
CT-1994-05 :
Tao Jiang, Joel I. Seiferas, Paul M.B. Vitányi
Two heads are Better than Two Tapes
CT-1994-06 :
Guido te Brake, Joost N. Kok, Paul Vitányi
Model Selection for Neural Networks: Comparing MDL and NIC
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
CT-1994-08 :
Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling
The STO-problem is NP-hard
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
CT-1994-12 :
Marianne Kalsbeek
Gentzen Systems for Logic Programming Styles
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
LP-1994-03 :
Jerry Seligman
An algebraic appreciation of diagrams
LP-1994-04 :
Kazimierz Swirydowicz
A Remark on the Maximal Extensions of the Relevant Logic \em R
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$
LP-1994-08 :
Daniel Osherson, Scott Weinstein, Dick de Jongh, Eric Martin
Formal Learning Theory
LP-1994-09 :
Harry P. Stein
Linguistic Normativity and Kripke's Sceptical Paradox
LP-1994-10 :
Harry P. Stein
The Hazards of Harmony
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
LP-1994-14 :
Jeroen Groenendijk, Martin Stokhof, Frank Veltman
Update Semantics for Modal Predicate Logic
LP-1994-15 :
Henk Zeevat
The Mechanics of the Counterpart Relation
LP-1994-16 :
David Beaver
When Variables Don't Vary Enough
LP-1994-17 :
David Beaver
Accommodating Topics
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
LP-1994-21 :
Noor van Leusen
The Interpretation of Corrections
LP-1994-22 :
Maarten Marx, Szabolcs Mikulás, István Németi
Taming Arrow Logic
LP-1994-23 :
Jaap van der Does
Cut Might Cautiously
LP-1994-24 :
Michiel Leezenberg
Metaphor and Literacy
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
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
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
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
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
X-1994-02 :
Vladimir Kanovei, Michiel van Lambalgen
Another Construction of Choiceless Ultrapower
X-1994-03 :
Natasha Alechina, Michiel van Lambalgen
Correspondence and Completeness for Generalized Quantifiers
X-1994-04 :
Harry P. Stein
Primitieve Normen: Lingu\"\i stische Normativiteit in het Licht van Kripke's Sceptische Paradox
X-1994-05 :
Johan van Benthem
Logic and Argumentation
X-1994-06 :
Natasha Alechina, Philippe Smets
A Note on Modal Logics for Partial Belief
X-1994-07 :
Michiel Leezenberg
The Shabak and the Kakais: Dynamics of Ethnicity in Iraqi Kurdistan
