A general framework to build contextual cover set
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Induction Proofs with Partial Functions
Journal of Automated Reasoning
Full First-Order Free Variable Sequents and Tableaux in Implicit Induction
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Closure Induction in a Z-Like Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |