home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / logic / 1246 < prev    next >
Encoding:
Internet Message Format  |  1992-07-27  |  823 b 

  1. Xref: sparky sci.logic:1246 comp.theory:1697 sci.math.symbolic:2097 comp.ai:2904 aus.ai:98 comp.lang.functional:968
  2. Path: sparky!uunet!munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!ipc2.lat.oz.au!mahler
  3. From: mahler@latcs1.lat.oz.au (Daniel Mahler)
  4. Newsgroups: sci.logic,comp.theory,sci.math.symbolic,comp.ai,aus.ai,comp.lang.functional
  5. Subject: Wanted Knuth-Bendix algorithm and/or other programs for word problems
  6. Message-ID: <1992Jul28.091142.7495@latcs1.lat.oz.au>
  7. Date: 28 Jul 92 09:11:42 GMT
  8. Sender: news@latcs1.lat.oz.au (news)
  9. Organization: Comp Sci, La Trobe Uni, Australia
  10. Lines: 6
  11. Originator: mahler@ipc2.lat.oz.au
  12. Nntp-Posting-Host: ipc2.lat.oz.au
  13.  
  14. The subject really says it all.
  15. I would like to obtain programs for Knuth-Bendix,
  16. theory unification/resolution, paramodualtion etc.
  17.  
  18.     Thanks
  19.         Daniel
  20.