Items where Year is 1988

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 | D | G | J | K | L | M | S | T | V
Number of items: 26.

B

LP-1988-07: Bartsch, Renate (1988) Tenses, Aspecs and their Scopes in Discourse. [Report]

D

CT-1988-04: de Jongh, Dick and Hendriks, Lex and de Lavalette, Gerard R. Renardel (1988) Computations in Fragments of Intuitionistic Propositional Logic. [Report]

ML-1988-03: de Jongh, Dick and Veltman, Frank (1988) Provability Logics for Relative Interpretability. [Report]

G

LP-1988-08: Groenendijk, Jeroen and Stokhof, Martin (1988) Context and Information in Dynamic Semantics. [Report]

J

CT-1988-09: Janssen, Theo M.V. (1988) Towards a Universal Parsing Algorithm for Functional Grammar. [Report]

LP-1988-09: Janssen, Theo M.V. (1988) A mathematical model for the CAT framework of Eurotra. [Report]

X-1988-01: Jumulet, Mark (1988) On Solovay's Completeness Theorem. [Report]

K

LP-1988-10: Kleppe, Anneke (1988) A Blissymbolics Translation Program. [Report]

L

CT-1988-01: Li, Ming and Vitanyi, Paul M.B. (1988) Two Decades of Applied Kolmogorov Complexity. [Report]

M

LP-1988-04: Muskens, Reinhard (1988) Going Partial in Montague Grammar. [Report]

S

CT-1988-06: Smid, Michiel H.M. (1988) A Data Structure for the Union-find Problem having good Single-Operation Complexity. [Report]

CT-1988-02: Smid, Michiel H.M. (1988) General Lower Bounds for the Partitioning of Range Trees. [Report]

CT-1988-03: Smid, Michiel H.M. and Overmars, Mark H. and Torenvliet, Leen and van Emde Boas, Peter (1988) Maintaining Multiple Representations of Dynamic Data Structures. [Report]

CT-1988-08: Smid, Michiel H.M. and Overmars, Mark H. and Torenvliet, Leen and van Emde Boas, Peter (1988) Multiple Representations of Dynamic Data Structures. [Report]

CT-1988-10: Spaan, Edith and Torenvliet, Leen and van Emde Boas, Peter (1988) Nondeterminism, Fairness and a Fundamental Analogy. [Report]

ML-1988-02: Swaen, M.D.G. (1988) The Arithmetical Fragment of Martin L\"of's Type Theories with weak $\Sigma$-Elimination. [Report]

T

ML-1988-04: Troelstra, A.S. (1988) On the Early History of Intuitionistic Logic. [Report]

ML-1988-05: Troelstra, A.S. (1988) Remarks on Intuitionism and the Philosophy of Mathematics. [Report]

V

LP-1988-02: Venema, Yde (1988) Experssive and Completeness. [Report]

LP-1988-05: van Benthem, Johan (1988) Logical Constants across Varying Types. [Report]

LP-1988-06: van Benthem, Johan (1988) Semantic Parallels in Natural Language and Computation. [Report]

CT-1988-07: van Benthem, Johan (1988) Time, Logic and Computation. [Report]

CT-1988-11: van Denneheuvel, Siger and van Emde Boas, Peter (1988) Towards implementing RL. [Report]

CT-1988-05: van Emde Boas, Peter (1988) Machine Models and Simulations (revised version). [Report]

LP-1988-01: van Lambalgen, Michiel (1988) Algorithmic Information Theory. [Report]

ML-1988-01: van Oosten, Jaap (1988) Lifschitz' Realizability. [Report]

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