A mechanization of strong Kleene logic for partial functions

From MaRDI portal
Publication:5210785

DOI10.1007/3-540-58156-1_26zbMath1433.03024OpenAlexW1491709951MaRDI QIDQ5210785

Michael Kohlhase, Manfred Kerber

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:386-kluedo-3309



Related Items


Uses Software


Cites Work