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