Universiteit van Amsterdam

ILLC Publications, All Series, 1989

CT-1989-01:
Michiel H.M. Smid Dynamic Deferred Data Structures
CT-1989-02:
Peter van Emde Boas Machine Models and Simulations
CT-1989-03:
Ming Li, Herman Neuféglise, Leen Torenvliet, Peter van Emde Boas On Space Efficient Simulation
CT-1989-04:
Harry Buhrman, Leen Torenvliet A Comparison of Reductions on Nondeterministic Space
CT-1989-05:
Pieter H. Hartel, Michiel H.M. Smid, Leen Torenvliet, Willem G. Vree A Parallel Functional Implementation of Range Queries
CT-1989-06:
H.W. Lenstra Jr. Finding Isomorphisms between Finite Fields
CT-1989-07:
Ming Li, Paul M.B. Vitanyi A Theory of Learning Simple Concepts under Simple Distributinos and Average Case Complexity for the Universal Distribution (Prel. Version)
CT-1989-08:
Harry Buhrman, Steven Homer, Leen Torenvliet Honest Reductions, Completeness and Nondeterministic Complexity Classes
CT-1989-09:
Harry Buhrman, Edith Spaan, Leen Torenvliet On Adaptive Resource Bounded Computations
CT-1989-10:
Sieger van Denneheuvel The Rule Language RL/1
CT-1989-11:
Zhisheng Huang, Sieger van Denneheuvel, Peter van Emde Boas Towards Functional Classification of Recursive Query Processing
LP-1989-01:
Johan van Benthem The Fine-Structure of Categorial Semantics
LP-1989-02:
Jeroen Groenendijk, Martin Stokhof Dynamic Predicate Logic, towards a compositional, non-representational semantics of discourse
LP-1989-03:
Yde Venema Two-dimensional Modal Logics for Relation Algebras and Temporal Logic of Intervals
LP-1989-04:
Johan van Benthem Language in Action
LP-1989-05:
Johan van Benthem Modal Logic as a Theory of Information
LP-1989-06:
Andreja Prijatelj Intensional Lambek Calculi: Theory and Application
LP-1989-07:
Heinrich Wansing The Adequacy Problem for Sequential Propositional Logic
LP-1989-08:
Victor Sánchez Valencia Peirce's Propositional Logic: From Algebra to Graphs
LP-1989-09:
Zhisheng Huang Dependency of Belief in Distributed Systems
ML-1989-01:
Dick de Jongh, Albert Visser Explicit Fixed Points for Interpretability Logic
ML-1989-02:
Roel de Vrijer Extending the Lambda Calculus with Surjective Pairing is conservative
ML-1989-03:
Dick de Jongh, Franco Montagna Rosser Orderings and Free Variables
ML-1989-04:
Dick de Jongh, Marc Jumulet, Franco Montagna On the Proof of Solovay's Theorem
ML-1989-05:
Rineke Verbrugge $\Sigma$-Completeness and Bounded Arithmetic
ML-1989-06:
Michiel van Lambalgen The Axiomatization of Randomness
ML-1989-07:
Dirk Roorda Elementary Inductive Definitions in HA: from Strictly Positive towards Monotone
ML-1989-08:
Dirk Roorda Investigations into Classical Linear Logic
ML-1989-09:
Allesandro Carbone Provable Fixed Points in $I\Delta_0+\Omega_1$.
X-1989-01:
Marianne Kalsbeek An Orey Sentence for Predicative Arithmetic
X-1989-02:
G. Wagemakers New Foundations: A Survey of Quine's Set Theory
X-1989-03:
A.S. Troelstra Index of the Heyting Nachlass
X-1989-04:
Jeroen Groenendijk, Martin Stokhof Dynamic Montague Grammar, a first sketch
X-1989-05:
Maarten de Rijke The Modal Theory of Inequality
X-1989-06:
Peter van Emde Boas Een Relationele Semantiek voor Conceptueel Modelleren: Het RL-project

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