Advanced Topics in Term Rewriting Jr Oder: Die Reise einer Einbauküche

Oder: Die Reise einer Einbauküche nach Griechenland

expressed chiefly in systems employing small

to the University of Bielefeld for the spon­ sorship of these lectures

which provides the necessary tools for understanding a wide variety of photorefractive phenomena

Souviens-toi

Advanced Topics in Term Rewriting Jr Oder: Die Reise einer EinbaukücheTerm rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e. g., equationally specified abstract data types), in programming languages (e. g., functional logic programming), in computer algebra (e. g., symbolic computations, Grabner bases), in pro gram verification (e. g., automatically proving termination of programs), in automated theorem proving (e. g., equational unification), and in algebra (e. g.,