file_qjqdjpjp6ffifpvtjh67ntaegu
Associated Releases
2005-11-10 |
A semantical proof of the strong normalization theorem for full propositional classical natural deduction
published | article-journal doi:10.1007/s00153-005-0314-y |
Public Access URLs
web |
http://www.lama.univ-savoie.fr/~nour/snsn.pdf
|
webarchive |
https://web.archive.org/web/20061126214915/http://www.lama.univ-savoie.fr/~nour/snsn.pdf
|
Data Integrity Checksums
SHA-1 | ee78d2ef3c5eaf5939e6188aef15719f3daf712f
|
SHA-256 | 299bb67b2ab3518ba0b6e8e7dad4fa56122e059f197963016bebba653cfc0fcd
|
MD5 | 2286ba8ba1eeb4a09e30330cc2364671
|
View Archived File
Size 96.0 kB
MIME Type
MIME Type
application/pdf