Weak confluence and τ-inertness

Mingsheng Ying
DOI: https://doi.org/10.1016/S0304-3975(99)00084-5
2000-01-01
Abstract:We introduce a new definition of weak confluences and show that they are equivalent to tau-inertness without any appealing to tau-well-foundedness. (C) 2000 Elsevier Science B.V. All rights reserved.
What problem does this paper attempt to address?