Using Fixed-Point Semantics to Prove Retiming Lemmas.

Stephen D. Brookes

Published in: Formal Methods Syst. Des. (1993)

Keyphrases

fixed point semantics
databases
theorem proving
artificial intelligence
database systems
expert systems
data management
logic programs
expressive power
theorem prover