Reduktionssysteme Rechnen und Schließen in gleichungsdefinierten Strukturen - Avenhaus, Jürgen (Springer, 1995)
Keywords: Informatik; Mathematik; Computer science -- Mathematics; Logic, Symbolic and mathematical; Rewriting systems (Computer science); Reduktionssystem; Lehrbuch