Aufgaben

Quellen: http://www.cs.vu.nl/~tcs/trs/,
Franz Baader und Tobias Nipkow: Term Rewriting and All That, http://www21.in.tum.de/~nipkow/TRaAT/

Autotoolisierung dieser Aufgaben? (zwei Fälle)



Johannes Waldmann 2015-12-11