Implicit induction in conditional theories
Journal of Automated Reasoning1995Vol. 14(2), pp. 189–235
Citations Over TimeTop 10% of 1995 papers
Related Papers
- → Induction using term orderings(1994)15 cited
- → Multi-Context Rewriting Induction with Termination Checkers(2010)6 cited
- → Soundness of Rewriting Induction Based on an Abstract Principle(2008)5 cited
- → Induction for termination with local strategies(2001)27 cited
- Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation(2002)