...
机译:Max/Plus Tree Automata for Termination of Term Rewriting
Radboud Univ Nijmegen;
MLstate;
Hsch Techn Wirtschaft & Kultur Leipzig;
term rewriting; termination; weighted tree automaton; max/plus algebra; arctic semiring; monotone algebra; matrix interpretation; formal verification; PROVING TERMINATION; TOOL; CERTIFICATION;