Author:Thomas Raths

Keyphrases

automated reasoning in non-classical logics, automated theorem proving², evaluation, implementation of provers, intuitionistic logic, modal logic², non-classical logics, problem libraries.