Login / Signup

The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals.

Markus MarzettaThomas Strahm
Published in: Arch. Math. Log. (1998)
Keyphrases
  • fixed point
  • sufficient conditions
  • dynamical systems
  • belief propagation
  • floating point
  • fixed point theorem
  • database
  • image processing
  • stereo matching
  • bargaining solution