scientific article; zbMATH DE number 1348478
From MaRDI portal
Publication:4264732
zbMath0925.68401MaRDI QIDQ4264732
Publication date: 10 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Verifying Procedural Programs via Constrained Rewriting Induction ⋮ A recursion planning analysis of inductive completion ⋮ Productive use of failure in inductive proof ⋮ Inverse Unfold Problem and Its Heuristic Solving ⋮ Lemma discovery in automating induction ⋮ Rippling: A heuristic for guiding inductive proofs ⋮ A divergence critic ⋮ Using a generalisation critic to find bisimulations for coinductive proofs ⋮ Appropriate lemmae discovery
This page was built for publication:
