Items where Year is 1994

A

CT-1994-11: Alechina, Natasha (1994) Logic with Probabilistic Operators. [Report]

ML-1994-11: Alechina, Natasha (1994) On One Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic. [Report]

X-1994-06: Alechina, Natasha and Smets, Philippe (1994) A Note on Modal Logics for Partial Belief. [Report]

X-1994-03: Alechina, Natasha and van Lambalgen, Michiel (1994) Correspondence and Completeness for Generalized Quantifiers. [Report]

CT-1994-10: Ambos-Spies, Klaus and Neis, Hans-Christian and Terwijn, Sebastiaan A. (1994) Genericity and Measure for Exponential Time. [Report]

CT-1994-09: Ambos-Spies, Klaus and Terwijn, Sebastiaan A. and Xizhong, Zheng (1994) Resource Bounded Randomness and Weakly Complete Problems. [Report]

CT-1994-08: Apt, Krzysztof R. and van Emde Boas, Peter and Welling, Angelo (1994) The STO-problem is NP-hard. [Report]

LP-1994-02: Arsov, Andrei (1994) Basic Arrow Logic with Relation Algebraic Operators. [Report]

ML-1994-07: Artëmov, Sergei and Chuprina, Artëm (1994) Logic of Proofs with Complexity Operators. [Report]

B

LP-1994-20: Bartsch, Renate (1994) The Myth of Literal Meaning. [Report]

LP-1994-19: Bartsch, Renate (1994) The Relationship between Connectionist Models and a Dynamic Data-Oriented Theory of Concept Formation. [Report]

LP-1994-17: Beaver, David (1994) Accommodating Topics. [Report]

LP-1994-16: Beaver, David (1994) When Variables Don't Vary Enough. [Report]

CT-1994-07: Bennett, Charles H. and Gács, Péter and Li, Ming and Vitányi, Paul M.B. and Zurek, Wojciech H. (1994) Thermodynamics of Computation and Information Distance. [Report]

CT-1994-01: Buhrman, Harry and Torenvliet, Leen (1994) On the Cutting Edge of Relativization: the Resource Bounded Injury Method. [Report]

D

ML-1994-09: D'Agostino, Giovanna and Montanari, Angelo and Policriti, Alberto (1994) A Set-Theoretic Translation Method for Polymodal Logics. [Report]

LP-1994-11: Dekker, Paul (1994) Predicate Logic with Anaphora. [Report]

LP-1994-12: Dekker, Paul (1994) Representation and Information in Dynamic Semantics. [Report]

CT-1994-13: Desain, Peter and Honing, Henkjan (1994) CLOSe to the edge? Advanced Object-Oriented Techniques in the Representation of Musical Knowledge. [Report]

DS-1994-03: Drost, Nicoline Johanna (1994) Process Theory and Equation Solving. Doctoral thesis, University of Amsterdam.

LP-1994-23: der Does, Jaap van (1994) Cut Might Cautiously. [Report]

F

DS-1994-09: Fokkink, Wan (1994) Clocks, Trees and Stars in Process Theory. Doctoral thesis, University of Amsterdam.

G

LP-1994-18: Gardent, Claire (1994) Discourse Multiple Dependencies. [Report]

LP-1994-01: Gelev, Dimitar (1994) Introducing Some Classical Elements of Modal Logic to the Propositional Logics of Qualitative Probabilities. [Report]

LP-1994-13: Groenendijk, Jeroen and Stokhof, Martin and Veltman, Frank (1994) This Might Be It. [Report]

LP-1994-14: Groenendijk, Jeroen and Stokhof, Martin and Veltman, Frank (1994) Update Semantics for Modal Predicate Logic. [Report]

H

ML-1994-06: Hendriks, Lex and de Jongh, Dick (1994) Finitely Generated Magari Algebras and Arithmetic. [Report]

CT-1994-14: Honing, Henkjan (1994) The Vibrato Problem. Comparing two Ways to Describe the Intraction between the Continuous Knowledge and Discrete Components in Music Representation Systems. [Report]

DS-1994-10: Huang, Zhisheng (1994) Logics for Agents with Bounded Rationality. Doctoral thesis, University of Amsterdam.

J

DS-1994-04: Jaspars, Jan (1994) Calculi for Constructive Communication, a Study of the Dynamics of Partial States. Doctoral thesis, University of Amsterdam.

CT-1994-05: Jiang, Tao and Seiferas, Joel I. and Vitányi, Paul M.B. (1994) Two heads are Better than Two Tapes. [Report]

K

CT-1994-12: Kalsbeek, Marianne (1994) Gentzen Systems for Logic Programming Styles. [Report]

DS-1994-08: Kanazawa, Makoto (1994) Learnable Classes of Categorial Grammars. Doctoral thesis, University of Amsterdam.

ML-1994-05: Kanovei, V. (1994) IST is more than an Algorithm to prove ZFC Theorems. [Report]

X-1994-02: Kanovei, Vladimir and van Lambalgen, Michiel (1994) Another Construction of Choiceless Ultrapower. [Report]

DS-1994-02: Koorn, Jan Willem Cornelis (1994) Generating Uniform User-Interfaces for Interactive Programming Environments. Doctoral thesis, University of Amsterdam.

LP-1994-05: Kurtonina, Natasha (1994) The Lambek Calculus: Relational Semantics and the Method of Labelling. [Report]

L

CT-1994-03: Lee, Ming and Tromp, John and Vitányi, Paul (1994) Sharpening Occam's Razor (extended abstract). [Report]

CT-1994-04: Lee, Ming and Vitányi, Paul (1994) Inductive Reasoning. [Report]

LP-1994-24: Leezenberg, Michiel (1994) Metaphor and Literacy. [Report]

X-1994-07: Leezenberg, Michiel (1994) The Shabak and the Kakais: Dynamics of Ethnicity in Iraqi Kurdistan. [Report]

M

LP-1994-22: Marx, Maarten and Mikulás, Szabolcs and Németi, István (1994) Taming Arrow Logic. [Report]

N

ML-1994-10: Nogina, Elena (1994) Logic of Proofs with the Strong Provability Operator. [Report]

O

LP-1994-08: Osherson, Daniel and Weinstein, Scott and de Jongh, Dick and Martin, Eric (1994) Formal Learning Theory. [Report]

P

CT-1994-02: Panconesi, Alessandro and Papatriantafilou, Marina and Tsigas, Philippas and Vitányi, Paul (1994) Randomized Wait-Free Distributed Naming. [Report]

ML-1994-08: Prijatelj, Andreja (1994) Free Algebras Corresponding to Multiplicative Classical Linear Logic and some Extensions. [Report]

R

LP-1994-07: Rakic, Nata~a (1994) Absolute Time, Special Relativity and ML$^\nu$. [Report]

S

DS-1994-01: Schellinx, Harold (1994) The Noble Art of Linear Decorating. Doctoral thesis, University of Amsterdam.

LP-1994-03: Seligman, Jerry (1994) An algebraic appreciation of diagrams. [Report]

ML-1994-12: Selivanov, Victor (1994) Fine Hierarchy and Definability in the Lindenbaum Algebra. [Report]

DS-1994-07: Shavrukov, V. Yu. (1994) Adventures in Diagonalizable Algebras. Doctoral thesis, University of Amsterdam.

LP-1994-10: Stein, Harry P. (1994) The Hazards of Harmony. [Report]

LP-1994-09: Stein, Harry P. (1994) Linguistic Normativity and Kripke's Sceptical Paradox. [Report]

X-1994-04: Stein, Harry P. (1994) Primitieve Normen: Lingu\"\i stische Normativiteit in het Licht van Kripke's Sceptische Paradox. [Report]

LP-1994-04: Swirydowicz, Kazimierz (1994) A Remark on the Maximal Extensions of the Relevant Logic \em R. [Report]

T

CT-1994-06: te Brake, Guido and Kok, Joost N. and Vitányi, Paul (1994) Model Selection for Neural Networks: Comparing MDL and NIC. [Report]

V

ML-1994-13: Vervoort, Marco R. (1994) An Elementary Construction of an Ultrafilter on $\aleph_1$ Using the Axiom of Determinateness. [Report]

X-1994-05: van Benthem, Johan (1994) Logic and Argumentation. [Report]

X-1994-01: van Benthem, Johan (1994) Two Essays on Semantic Modelling. [Report]

LP-1994-06: van Benthem, Johan and Westerståhl, Dag (1994) Directions in Generalized Quantifier Theory. [Report]

ML-1994-03: van Benthem, Johan and de Jongh, Dick and de Lavalette, Gerard Renardel and Visser, Albert (1994) NNIL, A Study in Intuitionistic Propositional Logic. [Report]

DS-1994-05: van Deursen, Arie (1994) Executable Language Definitions, Case Studies and Origin Tracking Techniques. Doctoral thesis, University of Amsterdam.

ML-1994-04: van Lambalgen, Michiel (1994) Independence Structures in Set Theory. [Report]

LP-1994-21: van Leusen, Noor (1994) The Interpretation of Corrections. [Report]

Z

DS-1994-06: Zambella, Domenico (1994) Chapters on Bounded Arithmetic and on Provability Logic. Doctoral thesis, University of Amsterdam.

ML-1994-02: Zambella, Domenico (1994) End Extensions of Models of Linearly Bounded Arithmetic. [Report]

ML-1994-01: Zambella, Domenico (1994) Notes on polynomially bounded arithmetic. [Report]

LP-1994-15: Zeevat, Henk (1994) The Mechanics of the Counterpart Relation. [Report]