Weak confluence and tau-inertness

Authors
Ying, MS
Citation
Ms. Ying, Weak confluence and tau-inertness, THEOR COMP, 238(1-2), 2000, pp. 465-475
Citations number
8
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
238
Issue
1-2
Year of publication
2000
Pages
465 - 475
Database
ISI
SICI code
0304-3975(20000506)238:1-2<465:WCAT>2.0.ZU;2-2
Abstract
We introduce a new definition of weak confluences and show that they are eq uivalent to tau-inertness without any appealing to tau-well-foundedness. (C ) 2000 Elsevier Science B.V. All rights reserved.