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

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

        Thanks
                Daniel



Sat, 14 Jan 1995 17:11:42 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Knuth Bendix Algorithm.

2. Knuth/Bendix software

3. Knuth-Bendix completion procedure

4. Looking for Knuth-Bendix in Prolog

5. Knuth's Easter Algorithm

6. Knuth's Easter Algorithm

7. Knuth-Morris-Pratt Algorithm (cont'd)

8. Knuth-Morris-Pratt Algorithm

9. sublist? function using Knuth-Morris-Pratt Algorithm

10. Prolog, Knuth, LIPS, Non-deterministic Algorithms,

11. WANTED: Opinions re *** MUMPS vs. others ***

12. algorithm to translate a word to a number

 

 
Powered by phpBB® Forum Software