Login / Signup

Fixpoint semantics and simulation.

Wim H. HesselinkAlbert Thijs
Published in: Theor. Comput. Sci. (2000)
Keyphrases
  • fixpoint semantics
  • database
  • knowledge base
  • logic programs