Login / Signup
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.
Zhaohui Luo
Published in:
ASIAN (2006)
Keyphrases
</>
theoretic framework
logical foundations
information theoretic
active databases
formal models
spectral graph
knowledge representation