Alternative Translation Techniques for Propositional and First-Order Modal Logics
Journal of Automated Reasoning
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 0.00 |