An Experimental Comparison of Rippling and Exhaustive Rewriting

Alan Bundy, Ian Green

Research output: Working paper

Fingerprint

Dive into the research topics of 'An Experimental Comparison of Rippling and Exhaustive Rewriting'. Together they form a unique fingerprint.

Arts and Humanities

Engineering

Computer Science

Mathematics