Items where Year is 1986

[up] Up a level
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 Thu Nov 21 00:30:03 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility