scientific article; zbMATH DE number 1348457
From MaRDI portal
Publication:4264708
zbMath0925.03072MaRDI QIDQ4264708
Alex Nunes, Toby Walsh, Alan Bundy
Publication date: 7 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
A calculus for and termination of rippling ⋮ Rippling: A heuristic for guiding inductive proofs ⋮ The use of embeddings to provide a clean separation of term and annotation for higher order rippling ⋮ A divergence critic ⋮ Termination orderings for rippling ⋮ Combining symbolic computation and theorem proving: Some problems of Ramanujan ⋮ A colored version of the λ-calculus
This page was built for publication:
