Abstract: We present Local Church-Rosser, Parallelism, and Concurrency Theo- rems for rules with nested application conditions in the framework of weak ...
確定! 回上一頁