Amanote Research
Register
Sign In
Coherence and Transitivity of Subtyping as Entailment
Journal of Logic and Computation
- United Kingdom
doi 10.1093/logcom/10.4.493
Full Text
Open PDF
Abstract
Available in
full text
Categories
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Date
August 1, 2000
Authors
G Longo
Publisher
Oxford University Press (OUP)
Related search
Coherence and Transitivity in Coercive Subtyping
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Transitivity and Equicontinuity
Bulletin of the American Mathematical Society
Discovering Entailment Relations Using "Textual Entailment Patterns"
Case, Valency and Transitivity
Studies in Language Companion Series
Linguistics
Language
Sic Transitivity
Journal of Philosophical Research
Philosophy
The Acquisition of Voice and Transitivity Alternations in Greek as Native and Second Language
Language Acquisition and Language Disorders
Developmental
Educational Psychology
Language
Linguistics
Hearing
Speech
Extinction of Conservation and Transitivity of Weight
Journal of Experimental Child Psychology
Developmental
Experimental
Educational Psychology
Cognitive Psychology
Different Models and Approaches of Textual Entailment Recognition
International Journal of Computer Applications
Against Truth as Coherence
Logic and Logical Philosophy
Philosophy