Login / Signup

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

Hans de Nivelle
Published in: ARQNL@IJCAR (2014)
Keyphrases