The Mechanization of the Diagonalization Proof Strategy (1996)

by Lassaad Cheikhrouhou
Venue:Fachbereich Informatik, Universitat des Saarlandes, Im Stadtwald