maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] CRCHC Checker, prelude and owise

From: Emmanuel Castro <emmanuel.castro AT laposte.net>
To: Francisco Durán <duran AT lcc.uma.es>, maude-help <maude-help AT cs.uiuc.edu>
Subject: Re: [Maude-help] CRCHC Checker, prelude and owise
Date: Thu, 9 Sep 2010 22:48:32 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Thank you for your reply, however I cannot access the site because of the login/password.

Emmanuel

2010/9/3 Francisco Durán <duran AT lcc.uma.es>

Maude alphas

http://www.csl.sri.com/~eker/Maude/Alpha86c/numberHierachy.maude

I don't know of any attempt of generating a transformation to eliminate owises.

Francisco

Re: [Maude-help] CRCHC Checker, prelude and owise, Francisco Durán, 09/03/2010
- Re: [Maude-help] CRCHC Checker, prelude and owise, Emmanuel Castro, 09/09/2010