Login / Signup

Fixpoints for general correctness.

Walter Guttmann
Published in: J. Log. Algebraic Methods Program. (2011)
Keyphrases
  • special case
  • artificial intelligence
  • metadata
  • multimedia
  • hidden markov models
  • logic programs