home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / function / 1363 < prev    next >
Encoding:
Text File  |  1992-11-12  |  940 b   |  26 lines
  1. Newsgroups: comp.lang.functional
  2. Path: sparky!uunet!europa.asd.contel.com!darwin.sura.net!sgiblab!munnari.oz.au!bruce.cs.monash.edu.au!monu6!giaeb!bob
  3. From: bob@giaeb.cc.monash.edu.au (Bob Bignall)
  4. Subject: Knuth/Bendix software
  5. Message-ID: <bob.721624733@giaeb>
  6. Summary: Looking for software to generate rewrite rules
  7. Keywords: rewrite rules
  8. Sender: news@monu6.cc.monash.edu.au (Usenet system)
  9. Organization: Monash University, Melb., Australia.
  10. Date: Fri, 13 Nov 1992 03:18:53 GMT
  11. Lines: 13
  12.  
  13.  
  14. Can anyone advise me of sources of software which implements
  15. Knuth/Bendix type algorithms for rewrite rule completion?
  16.  
  17. For example, how might I acquire the Rewrite Rule Laboratory?
  18.  
  19. Thanks for any assistance.
  20.  
  21. -- 
  22. Bob Bignall                  Phone :  +61 51 226464     Fax : +61 51 221348
  23. School of Applied Science              Internet: bob@giaeb.cc.monash.edu.au
  24. Monash University College Gippsland
  25. Switchback Road, CHURCHILL 3842, Australia
  26.