Login / Signup
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics.
Hitoshi Kihara
Hiroakira Ono
Published in:
J. Log. Comput. (2010)
Keyphrases
</>
real time
three dimensional
database systems
expressive power
desirable properties
machine learning
website
case study
knowledge representation