Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=1187346721



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1187346721
Titel Automated complexity analysis of rewrite systems / Florian Frohn ; Jürgen Giesl, Samir Genaim
Person(en) Frohn, Florian (Verfasser)
Giesl, Jürgen (Akademischer Betreuer)
Genaim, Samir (Akademischer Betreuer)
Verlag Aachen : Universitätsbibliothek der RWTH Aachen
Zeitliche Einordnung Erscheinungsdatum: 2018
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, RWTH Aachen University, 2018
Persistent Identifier URN: urn:nbn:de:101:1-2019052907052099985000
DOI: 10.18154/RWTH-2018-231555
URL http://publications.rwth-aachen.de/record/751705 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration