Thread Tree View: sci.logic
1 messages
Depth: 0
Cached
Build time: 834.364µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Wanted Knuth-Bendix algorithm and/or other programs for word problems
From: Daniel Mahler
Date: Tue, 28 Jul 1992 09:11
Article: 94
Message-ID: <1992Jul28.091142.7495@latcs1.lat.oz.au>
Debug Information
Tree Statistics
- Root Article: 94
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 834.364µs
Thread Root
- Subject: Wanted Knuth-Bendix algorithm and/or other programs for word problems
- From: Daniel Mahler
- Date: Tue, 28 Jul 1992 09:11
- Article: 94