maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Crchc3 and termination

From: Emmanuel Castro <emmanuel.castro AT laposte.net>
To: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] Crchc3 and termination
Date: Tue, 17 Aug 2010 10:59:40 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Thank you, your explanations have me the things clearer. I am still
puzzled with the subtlde difference between confluence and
Church-Rosser properties. In many texts, they are stated as
equivalent.

e.g.
http://en.wikipedia.org/wiki/Confluence_(abstract_rewriting)
Term Rewriting Systems by J. W. Klop

[Maude-help] Crchc3 and termination, Emmanuel Castro, 08/15/2010
- Re: [Maude-help] Crchc3 and termination, Francisco Durán, 08/16/2010
  - Re: [Maude-help] Crchc3 and termination, Emmanuel Castro, 08/17/2010
    - Re: [Maude-help] Crchc3 and termination, Francisco Durán, 08/19/2010