We present a new technique for proving factorization theorems for compound rewriting systems in a modular way, which is inspired by the Hindley- ...
確定! 回上一頁