Knuth/Bendix software

Article View: comp.lang.functional

Article #578

Back to comp.lang.functional Previous Next

#578

From: Bob Bignall
Date: Fri, 13 Nov 1992 03:18

13 lines
965 bytes

Can anyone advise me of sources of software which implements
Knuth/Bendix type algorithms for rewrite rule completion?

For example, how might I acquire the Rewrite Rule Laboratory?

Thanks for any assistance.

-- 
Bob Bignall                  Phone :  +61 51 226464     Fax : +61 51 221348
School of Applied Science              Internet: bob@giaeb.cc.monash.edu.au
Monash University College Gippsland
Switchback Road, CHURCHILL 3842, Australia

Technical Details

Message-ID: <bob.721624733@giaeb>

Path:

arc1-ca.pugleaf.net!sparky!uunet!europa.asd.contel.com!darwin.sura.net!sgiblab!munnari.oz.au!bruce.cs.monash.edu.au!monu6!giaeb!bob

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.functional
Path: arc1-ca.pugleaf.net!sparky!uunet!europa.asd.contel.com!darwin.sura.net!sgiblab!munnari.oz.au!bruce.cs.monash.edu.au!monu6!giaeb!bob
From: bob@giaeb.cc.monash.edu.au (Bob Bignall)
Subject: Knuth/Bendix software
Message-ID: <bob.721624733@giaeb>
Summary: Looking for software to generate rewrite rules
Keywords: rewrite rules
Sender: news@monu6.cc.monash.edu.au (Usenet system)
Organization: Monash University, Melb., Australia.
Date: Fri, 13 Nov 1992 03:18:53 GMT
Lines: 13