Vingerafdruk
Duik in de onderzoeksthema's van 'Matrix interpretations for proving termination of term rewriting'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
J. Endrullis, J. Waldmann, H. Zantema
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review