Transforming infinite rewrite systems into finite rewrite systems by embedding techniques:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Avenhaus, Jürgen (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Kaiserslautern 1989
Schriftenreihe:Universität <Kaiserslautern> / SEKI-Projekt: SEKI report 89,21
Beschreibung:17 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!