Coherence and Transitivity in Coercive Subtyping

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45653-8_17
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Coherence and Transitivity of Subtyping as Entailment

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2000English

Transitivity and Equicontinuity

Bulletin of the American Mathematical Society
1948English

Probabilistic Transitivity in Sports

Computers and Operations Research
Management ScienceSimulationComputer ScienceOperations ResearchModeling
2019English

Transitivity in Bakel Soninke

Mandenkan
LinguisticsLanguage
2013English

Ultimata and Coercive Diplomacy

International Studies Quarterly
SociologyInternational RelationsPolitical Science
1972English

Transitivity and Causation in Lushootseed Morphology

Canadian Journal of Linguistics
LinguisticsLanguage
1996English

Case, Valency and Transitivity

Studies in Language Companion Series
LinguisticsLanguage
2006English

Sic Transitivity

Journal of Philosophical Research
Philosophy
2000English

Trust Transitivity in Social Networks

PLoS ONE
Multidisciplinary
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy