Treffer: Size-change termiantion for term rewriting
Titel:
Size-change termiantion for term rewriting / René Thiemann; Jürgen Giesl
Beteiligt:
Veröffentlicht:
Aachen : RWTH, 2003
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource (48 S., 348 KB) : graph. Darst.
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachener Informatik-Berichte ; 2003, 02
Anmerkungen:
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden. - Auch als gedr. Ausg. vorhanden
Schlagworte: