LP-1993-09: Completeness and Decidability of the Mixed Style of Inference with Composition

LP-1993-09: Kanazawa, Makoto (1993) Completeness and Decidability of the Mixed Style of Inference with Composition. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
LP-1993-09.text.pdf

Download (1MB) | Preview
Item Type: Report
Report Nr: LP-1993-09
Series Name: Logic, Philosophy and Linguistics (LP)
Year: 1993
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1196

Actions (login required)

View Item View Item