*Result*: Size-change termiantion for term rewriting
*Title*:
Size-change termiantion for term rewriting / René Thiemann; Jürgen Giesl
*Author/editor-in-chief*:
*Publication*:
Aachen : RWTH, 2003
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
Online-Ressource (48 S., 348 KB) : graph. Darst.
*Format*:
*Language*:
*eng*
*series_multipart*:
Aachener Informatik-Berichte ; 2003, 02
*Notes*:
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden. - Auch als gedr. Ausg. vorhanden
*Subject Added Keywords*: