Thread Tree View: sci.logic
1 messages
Depth: 0
Build time: 729.130909msms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
-
Dec 5: Michael Kohlhase: Mechanization of Strong Kleene Logic for Partial Functions 1994-12-02 16:10 👁
Root Message
Dec 5: Michael Kohlhase: Mechanization of Strong Kleene Logic for Partial Functions
From: Helmut Veith
Date: Fri, 02 Dec 1994 16:10
Article: 705
Message-ID: <3bngug$mnr@news.tuwien.ac.at>
Debug Information
Tree Statistics
- Root Article: 705
- Message Count: 1
- Max Depth: 0
- Cache Hit: No
- Build Time: 729.130909ms
Thread Root
- Subject: Dec 5: Michael Kohlhase: Mechanization of Strong Kleene Logic for Partial Functions
- From: Helmut Veith
- Date: Fri, 02 Dec 1994 16:10
- Article: 705