maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Crchc3 and termination

From: Emmanuel Castro <emmanuel.castro AT laposte.net>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Crchc3 and termination
Date: Sun, 15 Aug 2010 21:29:44 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

In Crchc3, if the command (check Church-Rosser .) terminates and reply that a module is Church-Rosser, can it be taken for granted that the module terminates ?

Thank you for your replies

Emmanuel CASTRO

[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