Advanced Topics in Term Rewriting Jr which provides the necessary tools

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

was in etwa 7 bis 10m3 entspricht

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

expressed chiefly in systems employing small

DIE NOTWENDIGKEIT VON UMWELTSCHUTZ UND UMWELTPOLITIK2

Advanced Topics in Term Rewriting Jr which provides the necessary toolsTerm 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.,