1717 search results - page 13 / 344 » A Computable Spectral Theorem |
97
Voted
CRYPTO
2009
Springer
15 years 10 months ago
2009
Springer
107
Voted
ADG
2004
Springer
15 years 9 months ago
2004
Springer
111
Voted
CAIP
1999
Springer
15 years 8 months ago
1999
Springer
131
Voted
CADE
1990
Springer
15 years 7 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
96
Voted
BSL
2005
15 years 3 months ago
2005
