maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Francisco Frechina <ffrechina AT dsic.upv.es>
- To: maude-help AT cs.uiuc.edu
- Subject: [Maude-help] conditional equation and rules
- Date: Mon, 18 Apr 2011 12:30:36 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
Hello,
I'm Francisco and I'm writing you looking for help.
Due to my thesis work, I need to know how the conditional equation is
implemented in maude (same for rules), If you can send me some reference I
will thank you
Cordially,
Francisco Frechina
- [Maude-help] conditional equation and rules, Francisco Frechina, 04/18/2011
- Re: [Maude-help] conditional equation and rules, Steven Eker, 04/18/2011
Archive powered by MHonArc 2.6.16.