> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: On deciding the confluence of a finite string-rewriting system on a given congruence class Beteiligte: Otto, Friedrich [VerfasserIn] Erschienen: Kaiserslautern: Univ., Fachbereich Informatik, 1986 Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 159 Umfang: Getr. Zählung Sprache: Englisch RVK-Notation: SS 5550 : Universität Kaiserslautern: Fachbereich Informatik: Interner Bericht Schlagwörter: Bericht Entstehung: Anmerkungen: Literaturverz. Bl. R-1 - R-3 Weitere Bestandsnachweise 0 : Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik
Bereichsbibliothek DrePunct – Magazin Signatur: 2000 4 037304 001 Barcode: 30084351 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden