A mechanization of strong Kleene logic for partial functions

Kerber M, Kohlhase M (1994)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 1994

Publisher: Springer Verlag

Pages Range: 371-385

ISBN: 9783540581567

URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84956993662&origin=inward

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Involved external institutions

University of Birmingham GB United Kingdom (GB)

How to cite

APA:

Kerber, M., & Kohlhase, M. (1994). A mechanization of strong Kleene logic for partial functions. In Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 (pp. 371-385). Springer Verlag.

MLA:

Kerber, Manfred, and Michael Kohlhase. "A mechanization of strong Kleene logic for partial functions." Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 Springer Verlag, 1994. 371-385.

BibTeX: Download