Higher-order algebra, logic, and term rewritingde Jan Heering, Karl Meinke, Bernhard MollerMateriasCongressesRewriting systems (Computer science)Symbolic and mathematical LogicAlgebraLogic, symbolic and mathematical
