Weak confluence and τ-inertness
- Publication Type:
- Journal Article
- Citation:
- Theoretical Computer Science, 2000, 238 (1-2), pp. 465 - 475
- Issue Date:
- 2000-05-06
Closed Access
| Filename | Description | Size | |||
|---|---|---|---|---|---|
 | 2008004857OK.pdf | 122.55 kB |
Copyright Clearance Process
- Recently Added
- In Progress
- Closed Access
This item is closed access and not available.
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: