Home

H.__Zantema


Termination of Context-Sensitive Rewriting

Termination of string rewriting proved automatically

Termination of term rewriting by semantic labelling

Termination of term rewriting: Interpretation and type elimination