Author:Alexander Steen

Publications
EasyChair Preprint 10329

Keyphrases

automated theorem prover, automated theorem proving, Bard, embedding, higher-order logic3, Higher-Order Modal Logic, hybrid logic, interpretations, logic, nominal logic, paramodulation, Semantical Embedding, system description, TPTP2, verification.