Counterexamples in infinitary rewriting with non-fully-extended rules |
| |
| Authors: | Jeroen Ketema |
| |
| Affiliation: | Research Institute of Electrical Communication, Tohoku University, 2-1-1 Katahira, Aoba-ku, Sendai 980-8577, Japan |
| |
| Abstract: | We show counterexamples exist to confluence modulo hypercollapsing subterms, fair normalisation, and the normal form property in orthogonal infinitary higher-order rewriting with non-fully-extended rules. This sets these systems apart from both fully-extended and finite systems, where no such counterexamples are possible. |
| |
| Keywords: | Programming calculi Infinitary rewriting Higher-order rewriting |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
