Universiteit van Amsterdam

ILLC Publications, All Series, 1994

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

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X