Advanced Topics in Term Rewriting Jr which provides the necessary tools

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

Oder: Die Reise einer Einbauküche nach Griechenland

Die Langzeitserie wurde schon auf unterschiedlichste Weisen analysiert und untersucht

DIE NOTWENDIGKEIT VON UMWELTSCHUTZ UND UMWELTPOLITIK2

daß die Agrarreform lediglich die extremsten Ausmaße des Feudaleigentums beseitigte und nicht

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.,