6274 search results - page 21 / 1255 » Proofs, Programs, Processes |
151
Voted
JOLLI
1998
15 years 6 months ago
1998
This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded const...
152
Voted
FOSSACS
2010
Springer
16 years 26 days ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
157
Voted
TLCA
2009
Springer
16 years 27 days ago
2009
Springer
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
136
Voted
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
149
click to vote
IH
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We have developed the first hardware and software (intellectual property) metering scheme that enables reliable low overhead proofs for the number of manufactured parts a...