maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Re: Delivery Status Notification (Failure)

From: "rebaiaia Med LARBI" <rebaiaia AT hotmail.com>
To: maude-help AT banyan.cs.uiuc.edu
Subject: [Maude-help] Re: Delivery Status Notification (Failure)
Date: Thu, 19 Jun 2003 08:00:27 +0000
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi all,

Please would you like to help me. I'm a biginner in using Maude. I would like to use the function substitution automaticaly. Like this,

Suppose we have to replace the value after a computation result or before, for example:

A propositionnal formula system:

(a /\ b /\ c)
\/
(a /\ b /\ d)
.
.
.
(a /\ c /\ f)

we would like that a <-- true, b <-- false etc... How should I do ?

Best wishes.

Mohamed Larbi Rebaiaia
Computer Sciences Department
University of Batna (05000)
Algeria.

_________________________________________________________________
The new MSN 8: advanced junk mail protection and 2 months FREE* http://join.msn.com/?page=features/junkmail

[Maude-help] Re: Delivery Status Notification (Failure), rebaiaia Med LARBI, 06/19/2003