maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Thomas Genet <genet AT irisa.fr>
- To: maude-help AT peepal.cs.uiuc.edu
- Cc:
- Subject: [Maude-help] search feature of Maude
- Date: Thu, 10 Feb 2005 15:25:49 +0100
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Dear Maude users and developpers,
I am looking for a technical paper (or any other kind of information)
on how is implemented the
search s =>+ t feature of maude...
Thanks in advance for any link/explanation...
Thomas
--
Thomas Genet - IFSIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail:
genet AT irisa.fr
- [Maude-help] search feature of Maude, Thomas Genet, 02/10/2005
- Re: [Maude-help] search feature of Maude, Steven Eker, 02/10/2005
Archive powered by MHonArc 2.6.16.