Computationally Equivalent Elimination of Conditions

From FSL

Redirect page

Jump to: navigation, search

Elimination of Conditional Rules in Term Rewrite Systems

Retrieved from "http://fsl.cs.uiuc.edu/index.php/Computationally_Equivalent_Elimination_of_Conditions"