Login / Signup

Fixed point semantics and partial recursion in Coq.

Yves BertotVladimir Komendantsky
Published in: PPDP (2008)
Keyphrases
  • fixed point semantics
  • theorem prover
  • deductive databases
  • datalog programs
  • complex objects
  • formal methods