The Mechanization of the Diagonalization Proof Strategy (1996)

Cached

Download Links

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