Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Test Sets for the Universal and Existential Closure of Regular Tree Languages
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Reasoning Inductively about Z Specifications via Unification
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Narrowing and Rewriting Logic: from Foundations to Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of automated deduction
Artificial intelligence today
Inductive decidability using implicit induction
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Automatic 'descente infinie' induction reasoning
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Dealing with non-orientable equations in rewriting induction
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
RAPT: a program transformation system based on term rewriting
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Rewriting induction + linear arithmetic = decision procedure
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Hi-index | 0.00 |