Article ID Journal Published Year Pages File Type
429044 Information Processing Letters 2011 5 Pages PDF
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.

► We study orthogonal infinitary higher-order rewriting with non-fully-extended rules. ► Counterexamples exist to confluence modulo hypercollapsing subterms. ► Counterexamples also exist to fair normalisation and the normal form property.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Authors
,