> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings Beteiligte: Dershowitz, Nachum [VerfasserIn]; Lindenstrauss, Naomi [Sonstige Person, Familie und Körperschaft] Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 1995 Erschienen in: Lecture notes in computer science ; 968 Bücher Umfang: Online-Ressource Sprache: Englisch DOI: 10.1007/3-540-60381-6 ISBN: 9783540455134 Identifikator: RVK-Notation: SS 4800 : Lecture notes in computer science ST 130 : Allgemeines SS 1994 : Veranstaltungsjahr 1994 Schlagwörter: Bedingtes Termersetzungssystem Entstehung: Anmerkungen: