Login / Signup

Axioms for the Theory of Lambda-Conversion.

György E. Révész
Published in: SIAM J. Comput. (1985)
Keyphrases
  • belief functions
  • databases
  • computer vision
  • knowledge base
  • artificial intelligence
  • information systems
  • fixed point