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  application/pdf
Catalog Record
Revision: cf31beae-e7dd-43e8-bffe-2f11e3d06d71
API URL: JSON