Login / Signup

On Completeness of Logical Relations for Monadic Types.

Slawomir LasotaDavid NowakYu Zhang
Published in: ASIAN (2006)
Keyphrases
  • logical structure
  • deductive databases
  • data sets
  • special case
  • databases
  • website
  • temporal relations