Thread Tree View: sci.logic
1 messages
Depth: 0
Cached
Build time: 1.8863msms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Difficulty of Presburger over the reals
From: Bill Pugh
Date: Tue, 06 Oct 1992 22:26
Article: 465
Message-ID: <60958@mimsy.umd.edu>
Debug Information
Tree Statistics
- Root Article: 465
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 1.8863ms
Thread Root
- Subject: Difficulty of Presburger over the reals
- From: Bill Pugh
- Date: Tue, 06 Oct 1992 22:26
- Article: 465