Items where Year is 1986

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Number of items: 6.

ITLI-1986-01: UNSPECIFIED (1986) The Institute of Language, Logic and Information. [Report]

ITLI-1986-05: Bowen, Kenneth A. and de Jongh, Dick (1986) Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators. [Report]

ITLI-1986-04: Muskens, Reinhard (1986) A Relational Formulation of the Theory of Types. [Report]

ITLI-1986-03: van Benthem, Johan (1986) Categorial Grammar and Lambda Calculus. [Report]

ITLI-1986-06: van Benthem, Johan (1986) Logical Syntax. [Report]

ITLI-1986-02: van Emde Boas, Peter (1986) A Semantical Model for Integration and Modularization of Rules. [Report]

This list was generated on Fri Nov 24 00:30:26 2017 CET.