maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: yfu002 AT cs.fiu.edu
- To: maude-help AT peepal.cs.uiuc.edu
- Cc:
- Subject: [Maude-help] a question about core Maude
- Date: Wed, 28 Jul 2004 16:44:50 -0400 (EDT)
- Importance: Normal
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Dear Maude supporters,
I am using Core Maude 2.1. I define tokens for first order linear time
temporal logic, which is shown in attached file. When I try to reduce a
first order LTL formula, I get nothing. This is shown in the attached .gif
file. Would you please take a look at that file? Thanks in advance.
--Yujian Fu
Attachment:
q1.gif
Description: GIF image
Attachment:
mylogics.maude
Description: Binary data
- [Maude-help] a question about core Maude, yfu002, 07/28/2004
- Re: [Maude-help] a question about core Maude, Steven Eker, 07/28/2004
Archive powered by MHonArc 2.6.16.