Rewriting of imperative programs into logical equations
Science of Computer Programming
A divergence critic for inductive proof
Journal of Artificial Intelligence Research
Automatic case analysis in proof by induction
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Annals of Mathematics and Artificial Intelligence
A Schemata Calculus for Propositional Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards systematic analysis of theorem provers search spaces: first steps
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
A survey of automated deduction
Artificial intelligence today
Decidability and undecidability results for propositional schemata
Journal of Artificial Intelligence Research
Perfect discrimination graphs: indexing terms with integer exponents
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Reasoning on schemata of formulæ
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Completeness and decidability results for first-order clauses with indices
CADE'13 Proceedings of the 24th international conference on Automated Deduction
| Hi-index | 0.00 |