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

Documents Related by Co-Citation

703 Introduction to Metamathematics – S Kleene - 1952
74 A partial functions version of Church’s simple theory of types – W M Farmer - 1990
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen
857 A formulation of the simple theory of types – Alonzo Church - 1940
645 Systematic Software Development Using VDM – C B Jones - 1986
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
737 From Discourse to Logic – Hans Kamp, Uwe Reyle - 1993