Knuth/Bendix software

Thread View: comp.lang.functional

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Bob Bignall Fri, 13 Nov 1992 03:18

#578

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads