Paper Info
Title
Counterexamples in infinitary rewriting with non-fully-extended rules
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.
Year
DOI
Venue
2011
10.1016/j.ipl.2011.04.001
Inf. Process. Lett.
Keywords
Field
DocType
orthogonal infinitary higher-order,normal form property,non-fully-extended rule,finite system,fair normalisation,confluence modulo,higher order,normal form
Discrete mathematics,Programming calculi,Information processing,Modulo,Confluence,Rewriting,Counterexample,Mathematics
Journal
Volume
Issue
ISSN
111
13
0020-0190
Citations 
PageRank 
References 
0
0.34
12
Authors
1
Name
Order
Citations
PageRank
Jeroen Ketema116013.52