Login / Signup
Refinement for Monadic Programs.
Peter Lammich
Published in:
Arch. Formal Proofs (2012)
Keyphrases
</>
deductive databases
fixpoint
datalog queries
neural network
real world
datalog programs
automatic programming
real time
computer vision
first order logic
integrity constraints
computer programs
refinement process