1948 search results - page 106 / 390 » Formalizing Mirror Theory |
133
click to vote
IMPERIAL
1994
15 years 9 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
150
click to vote
ENGL
2007
15 years 5 months ago
2007
— The aim of the present work is to present a characterization of the Gentzen System G by means of a regulated grammar, according to the Formal Languages Theory. Given a proposit...
150
click to vote
ARESEC
2011
14 years 5 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...
131
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
132
click to vote
TPHOL
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...