Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
Neuigkeiten Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.
 
 

Ergebnis der Suche nach: "{{{1}}}"

Zurück zur Trefferliste


Treffer 53667 von 53769 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/956319327
Art des Inhalts Hochschulschrift
Titel Termination of rewriting : extensions, comparison and automatic generation of simplification orderings / von Joachim Steinbach
Person(en) Steinbach, Joachim (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 1994
Umfang/Format ca. 3,3 MB
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Steinbach, Joachim: Termination of rewriting
Hochschulschrift Kaiserslautern, Univ., Diss., 1994
Persistent Identifier URN: urn:nbn:de:bsz:386-kluedo-712
URL http://kbibmp3.ub.uni-kl.de/Preprint_Informatik/PS/dissertation_1.ps
Sprache(n) Englisch (eng)
Schlagwörter Termersetzungssystem ; Terminierung <Informatik> ; Online-Publikation
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Online-Zugriff Archivobjekt öffnen




Treffer 53667 von 53769
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration