Login / Signup
Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog.
Mircea-Dan Hernest
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
real world
information systems
high level
modal logic
image interpretation
program synthesis
real time
image processing
image sequences
face recognition
upper bound
temporal logic
uniform distribution
semantic interpretation