A calculus for and termination of rippling
type: Item
instance of: scholarly article
title: A calculus for and termination of rippling
zbMATH Open document ID: 0847.68105
DOI: 10.1007/BF00244462
author: Toby Walsh
author: David Basin
published in: Journal of Automated Reasoning
publication date: 1996-06-11T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 887167
zbMATH Keywords: rippling
zbMATH Keywords: rewriting
zbMATH Keywords: inductive theorem proving
describes a project that uses: CLAM
describes a project that uses: InKa
describes a project that uses: Oyster
MaRDI profile type: Publication
cites work: Termination orderings for rippling
cites work: Q3894958
cites work: Experiments with proof plans for induction
cites work: Rippling: A heuristic for guiding inductive proofs
cites work: Q3880307
cites work: Termination of rewriting
cites work: Orderings for term-rewriting systems
cites work: Productive use of failure in inductive proof
cites work: Q4264708
cites work: The OYSTER-CLAM system
cites work: Extensions to the rippling-out tactic for guiding inductive proofs
cites work: Guiding induction proofs
full work available at URL: https://doi.org/10.1007/bf00244462
OpenAlex ID: W4232202664
description: scientific article; zbMATH DE number 887167