Login / Signup

Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems.

Thierry CoquandBas Spitters
Published in: J. Univers. Comput. Sci. (2005)
Keyphrases
  • image processing
  • formal representation
  • digital topology
  • data sets
  • databases
  • artificial intelligence
  • description logics
  • formal model
  • representation scheme
  • formal methods
  • representation language