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
Jump to: B | M | V
Number of items: 5.

B

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]

M

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

V

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 Sat Nov 25 00:30:26 2017 CET.