Login / Signup

Relative Completeness for Logics of Functional Programs.

Bernhard ReusThomas Streicher
Published in: CSL (2011)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • functional language
  • expressive power
  • stochastic grammar
  • modal logic
  • database
  • databases
  • artificial intelligence
  • database systems