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.

Computer Science