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