Login / Signup
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems.
Thierry Coquand
Bas 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