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

Thread View: sci.logic

1 messages

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

1 total messages Started by Daniel Mahler Tue, 28 Jul 1992 09:11

#94

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

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