Login / Signup
Fixed point semantics and partial recursion in Coq.
Yves Bertot
Vladimir Komendantsky
Published in:
PPDP (2008)
Keyphrases
</>
fixed point semantics
theorem prover
deductive databases
datalog programs
complex objects
formal methods