Abstract Models of Transfinite Reductions

Patrick Bahr
We investigate transfinite reductions in abstract reduction systems. To this end, we study two abstract models for transfinite reductions: a metric model generalising the usual metric approach to infinitary term rewriting and a novel partial order model. For both models we distinguish between a weak and a strong variant of convergence as known from infinitary term rewriting. Furthermore, we introduce an axiomatic model of reductions that is general enough to cover all of these models...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.