Items where Year is 1986

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 Sun Oct 6 00:30:09 2024 CEST.