12774 search results - page 121 / 2555 » A Framework for Proof Systems |
126
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and veriļ¬er. The ļ...
142
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undeļ¬ned terms. ...
150
click to vote
NIPS
2004
15 years 5 months ago
2004
Machine learning is often used to automatically solve human tasks. In this paper, we look for tasks where machine learning algorithms are not as good as humans with the hope of ga...
155
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of ļ¬rst-order logic: co...
157
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...