Weak confluence and τ-inertness

Publication Type:
Journal Article
Theoretical Computer Science, 2000, 238 (1-2), pp. 465 - 475
Issue Date:
Filename Description Size
Thumbnail2008004857OK.pdf122.55 kB
Adobe PDF
Full metadata record
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: