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

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