Login / Signup

Logical Foundations for Programming Semantics.

Paul C. GilmoreGeorge K. Tsiknis
Published in: Theor. Comput. Sci. (1993)
Keyphrases
  • logical foundations
  • active databases
  • logic programming
  • programming language
  • semantic information
  • database
  • data streams
  • data analysis
  • orders of magnitude