6978 search results - page 228 / 1396 » On Proofs in System P |
165
click to vote
WECWIS
2005
IEEE
16 years 5 days ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...
161
click to vote
IANDC
2006
15 years 6 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
133
click to vote
ISSAC
1994
Springer
15 years 10 months ago
1994
Springer
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...
128
click to vote
ALIFE
2007
15 years 6 months ago
2007
Chu and Ho’s recent paper in Artificial Life is riddled with errors. In particular, they use a wrong definition of Robert Rosen’s mechanism. This renders their “critical asse...
164
click to vote
MKM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...