Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
An Experimental Comparison of Rippling and Exhaustive Rewriting
Alan Bundy
, Ian Green
School of Informatics
Research output
:
Working paper
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'An Experimental Comparison of Rippling and Exhaustive Rewriting'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Arts and Humanities
Experimental
100%
Long Take
50%
Proof
50%
Re-writing
100%
Engineering
Recursive
100%
Success Rate
100%
Computer Science
Inductive Proof
100%
Mathematics
Inductive Proof
100%