Items where Year is 1989

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: B | C | D | G | H | J | K | L | P | R | S | T | V | W
Number of items: 35.


CT-1989-08: Buhrman, Harry and Homer, Steven and Torenvliet, Leen (1989) Honest Reductions, Completeness and Nondeterministic Complexity Classes. [Report]

CT-1989-09: Buhrman, Harry and Spaan, Edith and Torenvliet, Leen (1989) On Adaptive Resource Bounded Computations. [Report]

CT-1989-04: Buhrman, Harry and Torenvliet, Leen (1989) A Comparison of Reductions on Nondeterministic Space. [Report]


ML-1989-09: Carbone, Allesandro (1989) Provable Fixed Points in $I\Delta_0+\Omega_1$. [Report]


ML-1989-04: de Jongh, Dick and Jumulet, Marc and Montagna, Franco (1989) On the Proof of Solovay's Theorem. [Report]

ML-1989-03: de Jongh, Dick and Montagna, Franco (1989) Rosser Orderings and Free Variables. [Report]

ML-1989-01: de Jongh, Dick and Visser, Albert (1989) Explicit Fixed Points for Interpretability Logic. [Report]

X-1989-05: de Rijke, Maarten (1989) The Modal Theory of Inequality. [Report]

ML-1989-02: de Vrijer, Roel (1989) Extending the Lambda Calculus with Surjective Pairing is conservative. [Report]


X-1989-04: Groenendijk, Jeroen and Stokhof, Martin (1989) Dynamic Montague Grammar, a first sketch. [Report]

LP-1989-02: Groenendijk, Jeroen and Stokhof, Martin (1989) Dynamic Predicate Logic, towards a compositional, non-representational semantics of discourse. [Report]


CT-1989-05: Hartel, Pieter H. and Smid, Michiel H.M. and Torenvliet, Leen and Vree, Willem G. (1989) A Parallel Functional Implementation of Range Queries. [Report]

LP-1989-09: Huang, Zhisheng (1989) Dependency of Belief in Distributed Systems. [Report]

CT-1989-11: Huang, Zhisheng and van Denneheuvel, Sieger and van Emde Boas, Peter (1989) Towards Functional Classification of Recursive Query Processing. [Report]


CT-1989-06: Jr., H.W. Lenstra (1989) Finding Isomorphisms between Finite Fields. [Report]


X-1989-01: Kalsbeek, Marianne (1989) An Orey Sentence for Predicative Arithmetic. [Report]


CT-1989-03: Li, Ming and Neuféglise, Herman and Torenvliet, Leen and van Emde Boas, Peter (1989) On Space Efficient Simulation. [Report]

CT-1989-07: Li, Ming and Vitanyi, Paul M.B. (1989) A Theory of Learning Simple Concepts under Simple Distributinos and Average Case Complexity for the Universal Distribution (Prel. Version). [Report]


LP-1989-06: Prijatelj, Andreja (1989) Intensional Lambek Calculi: Theory and Application. [Report]


ML-1989-07: Roorda, Dirk (1989) Elementary Inductive Definitions in HA: from Strictly Positive towards Monotone. [Report]

ML-1989-08: Roorda, Dirk (1989) Investigations into Classical Linear Logic. [Report]


CT-1989-01: Smid, Michiel H.M. (1989) Dynamic Deferred Data Structures. [Report]


X-1989-03: Troelstra, A.S. (1989) Index of the Heyting Nachlass. [Report]


LP-1989-08: Valencia, Victor Sánchez (1989) Peirce's Propositional Logic: From Algebra to Graphs. [Report]

LP-1989-03: Venema, Yde (1989) Two-dimensional Modal Logics for Relation Algebras and Temporal Logic of Intervals. [Report]

ML-1989-05: Verbrugge, Rineke (1989) $\Sigma$-Completeness and Bounded Arithmetic. [Report]

LP-1989-01: van Benthem, Johan (1989) The Fine-Structure of Categorial Semantics. [Report]

LP-1989-04: van Benthem, Johan (1989) Language in Action. [Report]

LP-1989-05: van Benthem, Johan (1989) Modal Logic as a Theory of Information. [Report]

CT-1989-10: van Denneheuvel, Sieger (1989) The Rule Language RL/1. [Report]

X-1989-06: van Emde Boas, Peter (1989) Een Relationele Semantiek voor Conceptueel Modelleren: Het RL-project. [Report]

CT-1989-02: van Emde Boas, Peter (1989) Machine Models and Simulations. [Report]

ML-1989-06: van Lambalgen, Michiel (1989) The Axiomatization of Randomness. [Report]


X-1989-02: Wagemakers, G. (1989) New Foundations: A Survey of Quine's Set Theory. [Report]

LP-1989-07: Wansing, Heinrich (1989) The Adequacy Problem for Sequential Propositional Logic. [Report]

This list was generated on Mon Sep 25 00:30:08 2017 CEST.