Abstract. We present Local Church-Rosser, Parallelism, and Concur- rency Theorems for rules with nested application conditions in the frame-.
確定! 回上一頁