Weak Confluence And Tau-Inertness

Elsevier Science Bv
Publication Type:
Journal Article
Theoretical Computer Science, 2000, 238 (1-Feb), pp. 465 - 475
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008004857OK.pdf122.55 kB
Adobe PDF
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.
Please use this identifier to cite or link to this item: