Login / Signup
Fixpoint semantics and simulation.
Wim H. Hesselink
Albert Thijs
Published in:
Theor. Comput. Sci. (2000)
Keyphrases
</>
fixpoint semantics
database
knowledge base
logic programs