Author:Alexander Steen

Publications

Keyphrases

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