Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic.

Hans de Nivelle

Browse the full CADE paper archive.