> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Relative termination Beteiligte: Geser, Alfons [Verfasser:in] Erschienen: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012 Erschienen in: Ulmer Informatik-Berichte ; 91,03 Umfang: Online-Ressource Sprache: Englisch Identifikator: RVK-Notation: ST 130 : Allgemeines Schlagwörter: Rewriting systems (Computer science) ; Termersetzungssystem ; Hochschulschrift Entstehung: Hochschulschrift: Zugl.: Passau, Univ., Diss., 1990 Anmerkungen: Zugangsstatus: Freier Zugang