1581 search results - page 111 / 317 » Mechanizing Inductive Reasoning |
163
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
197
click to vote
AISC
2010
Springer
15 years 4 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
183
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
Abstract--In this paper, we propose a game-theoretic mechanism to encourage truthful data sharing for distributed data mining. Our proposed mechanism uses the classic VickreyClarke...
177
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
185
click to vote
TPHOL
2008
IEEE
16 years 21 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...