Pages that link to "Item:Q928655"

The following pages link to Matrix interpretations for proving termination of term rewriting (Q928655):

Displaying 1 item.

• A new order-theoretic characterisation of the polytime computable functions (Q2346988) (← links)