maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] simplification orderings in Maude?

From: Christophe Ringeissen <Christophe.Ringeissen AT loria.fr>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] simplification orderings in Maude?
Date: Tue, 16 Nov 2010 17:34:54 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Dear Maude helper,

Are there existing Maude implementations of simplification orderings such
that LPO or RPO? The idea would be to orient equalities before applying
metaNarrow.

Thanks a lot for your answer,

Christophe.

[Maude-help] simplification orderings in Maude?, Christophe Ringeissen, 11/16/2010