maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[[maude-help] ] Rewriting modulo [nonexec] equation

From: "Petar" <paradzik42 AT gmail.com>
To: maude-help AT lists.cs.illinois.edu
Subject: [[maude-help] ] Rewriting modulo [nonexec] equation
Date: Sat, 12 Jun 2021 07:45:39 -0500

Dear All,

I understand that Maude considers attributes like [comm] and [assoc] when
doing rewriting modulo an equational theory. Is it possible to do a rewrite
modulo equation with [nonexec] attribute? For example, I would like to do a
rewrite modulo "eq exp(exp(g:Msg,x:Msg), y:Msg) = exp(exp(g:Msg,y:Msg),x:Msg)
[nonexec] ." (commutative exponents).

Thanks!

Regards,
Petar

[[maude-help] ] Rewriting modulo [nonexec] equation, Petar, 06/12/2021
- Re: [[maude-help] ] Rewriting modulo [nonexec] equation, Paco Durán, 06/16/2021
  - Re: [[maude-help] ] Rewriting modulo [nonexec] equation, Petar, 06/16/2021