Login / Signup

Theorem Prover Support for the Refinement of Stream Processing Functions.

Robert SandnerOlaf Müller
Published in: TACAS (1997)
Keyphrases
  • theorem prover
  • stream processing
  • theorem proving
  • first order logic
  • term rewriting
  • data streams
  • formal proof
  • data processing
  • inference rules
  • natural deduction
  • database
  • databases
  • learning algorithm
  • query processing