The Mechanization of the Diagonalization Proof Strategy (1996)

by Lassaad Cheikhrouhou
Venue:FACHBEREICH INFORMATIK, UNIVERSITAT DES SAARLANDES, IM STADTWALD