Static analysis of monadic datalog on finite labeled trees:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Frochaux, André (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:English
Veröffentlicht: Berlin [2016?]
Schlagworte:
Beschreibung:xii, 151 Seiten Illustrationen

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!