Login / Signup
A Constructive Proof of the Gelfand-Kolmogorov Theorem.
He Wei
Published in:
Appl. Categorical Struct. (2004)
Keyphrases
</>
interactive theorem proving
theorem proving
von neumann
database
real time
decision making
video sequences
inference rules
linear logic
digital topology
proof theoretic