Weak confluence and τ-inertness
- Publication Type:
- Journal Article
- Theoretical Computer Science, 2000, 238 (1-2), pp. 465 - 475
- Issue Date:
We introduce a new definition of weak confluences and show that they are equivalent to τ-inertness without any appealing to τ-well-foundedness. © 2000 Elsevier Science B.V. All rights reserved.
Please use this identifier to cite or link to this item: