Termination of term rewriting - Maria da Conceição Fernández Ferreira | gedrukt boek

Ga direct naar de inhoud, het zoekveld of het hoofdmenu.

Uitgever: Universiteit Utrecht, Faculteit Wiskunde en Informatica, Utrecht
Verschenen: 1995
ISBN: 9039312311
Kenmerken: 221 pagina's
Aantekening: Proefschrift Universiteit Utrecht; Met lit. opg., index. - Met samenvatting in het Nederlands

Je leent dit boek bij je eigen Bibliotheek. Vul de vier cijfers van je postcode in en vind je Bibliotheek.

Maria da Conceição Fernández Ferreira Termination of term rewriting