Pages that link to "Item:Q5055774"

The following pages link to Proving equational and inductive theorems by completion and embedding techniques (Q5055774):

Displaying 1 item.

• A strategy to deal with divergent rewrite systems (Q5881210) (← links)