Termination of term rewriting: well-foundedness, totality and transformations = Terminatie van termherschrijfsystemen
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ferreira, Maria da Conceição Fernández (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:English
Veröffentlicht: 1995
Schlagworte:
Beschreibung:Utrecht, Univ., Diss., 1995. - Met een samenvatting in het Nederlands
Beschreibung:IV, 221 S. graph. Darst.
ISBN:9039312311

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!