3228 search results - page 103 / 646 » Computationally Sound Proofs |
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Finding a specific or an artistically appropriate sound in a vast collection comprising thousands of audio files containing recordings of, say, footsteps, gunshots, and thundercla...
ACG
2009
Springer
14 years 3 months ago
2009
Springer
FOCS
2000
IEEE
14 years 1 months ago
2000
IEEE
MFCS
1998
Springer
14 years 1 months ago
1998
Springer
CIE
2010
Springer
14 years 1 months ago
2010
Springer
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...