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