Board index » functional

All times are UTC

Thanks Daniel

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