• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A nonstandard proof of a lemma from constructive measure theory.

David A. Ross
Published in: Math. Log. Q. (2006)
Keyphrases
  • information theory
  • similarity measure
  • distance measure
  • computational model
  • theorem proving
  • proof theory
  • database
  • real time
  • evolutionary algorithm
  • information theoretic
  • theoretical basis