12774 search results - page 381 / 2555 » A Framework for Proof Systems |
167
click to vote
CIE
2007
Springer
16 years 1 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
188
click to vote
ISOLA
2007
Springer
16 years 1 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
184
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
162
click to vote
TPHOL
2006
IEEE
16 years 27 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
190
click to vote
ICMCS
2005
IEEE
16 years 15 days ago
2005
IEEE
In line with the recent call for technology on Image Based Authentication (IBA) in JPEG committee [1], we present a novel graphical password design in this paper. It rests on the ...