The Mechanization of the Diagonalization Proof Strategy (1996)
by
Lassaad Cheikhrouhou
| Venue: | FACHBEREICH INFORMATIK, UNIVERSITAT DES SAARLANDES, IM STADTWALD |
| Citations: | 2 - 1 self |
Document Versions
| The Mechanization of the Diagonalization Proof Strategy –Lassaad Cheikhrouhou — 1996 — FACHBEREICH INFORMATIK, UNIVERSITAT DES SAARLANDES, IM STADTWALD |
