3552 search results - page 47 / 711 » Proof theory in the abstract |
108
click to vote
ITP
2010
15 years 5 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
JSYML
2008
15 years 1 months ago
2008
Abstract. In this paper we study the metric spaces that are definable in a polynomially bounded ominimal structure. We prove that the family of metric spaces definable in a given p...
JCT
2000
15 years 1 months ago
2000
The Kostka numbers K
103
Voted
TCS
1998
15 years 1 months ago
1998
Abstract. We show that Turyn’s conjecture, arising from the Theory of Error Correcting Codes, has an equivalent formulation in Dynamical Systems Theory. In particular, Turyn’s ...
ICICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...