Wanted Knuth-Bendix algorithm and/or other programs for word problems

Article View: sci.logic

Article #94

#94

From: Daniel Mahler
Date: Tue, 28 Jul 1992 09:11

6 lines
725 bytes

The subject really says it all.
I would like to obtain programs for Knuth-Bendix,
theory unification/resolution, paramodualtion etc.

	Thanks
		Daniel

Technical Details

Message-ID: <1992Jul28.091142.7495@latcs1.lat.oz.au>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!ariel!ucsvc.ucs.unimelb.edu.au!lugb!latcs1!ipc2.lat.oz.au!mahler

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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