Pages that link to "Item:Q5240131"

The following pages link to Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems (Q5240131):

Displaying 1 item.

• Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems (Q4993358) (← links)