Relative termination in term rewriting

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

2 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Relative termination in term rewriting'. Samen vormen ze een unieke vingerafdruk.