Matrix interpretations for proving termination of term rewriting

J. Endrullis, J. Waldmann, H. Zantema

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

116 Citaten (Scopus)
2 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Matrix interpretations for proving termination of term rewriting'. Samen vormen ze een unieke vingerafdruk.

Computer Science