A Mechanization of Strong Kleene Logic for Partial Functions (1994)

by Manfred Kerber , Michael Kohlhase
Venue:PROCEEDINGS OF THE 12TH CADE
Citations:29 - 11 self

Document Versions

A Mechanization of Strong Kleene Logic for Partial Functions –Manfred Kerber , Michael Kohlhase — 1994 — PROCEEDINGS OF THE 12TH CADE
A Mechanization of Strong Kleene Logic for Partial Functions –Manfred Kerber, Michael Kohlhase — 1994
A Mechanization of Strong Kleene Logic for Partial Functions –Manfred Kerber, Manfred Kerber, Michael Kohlhase, Michael Kohlhase — 1993 — Proceedings of the 12th CADE
A Mechanization of Strong Kleene Logic for Partial Functions –Manfred Kerber, Manfred Kerber, Michael Kohlhase, Michael Kohlhase — 1994