Pages that link to "Item:Q1915137"

The following pages link to A calculus for and termination of rippling (Q1915137):

Displaying 3 items.

• The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
• An integrated approach to high integrity software verification (Q861714) (← links)
• Extensions to a generalization critic for inductive proof (Q4647499) (← links)