Information on and-parallelism

Article View: comp.lang.prolog

Article #696

#696

From: David Brian Sturgill
Date: Tue, 08 Sep 1992 20:53

7 lines
514 bytes

I am interested in and-parallelism in theorem proving.  Can anyone point
me to information on what has been done in this area.

Thanks.

David Sturgill
sturgill@cs.cornell.edu

Technical Details

Message-ID: <1992Sep8.205358.501@cs.cornell.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!caen!batcomputer!cornell!sturgill

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.prolog
Path: arc1-ca.pugleaf.net!sparky!uunet!caen!batcomputer!cornell!sturgill
From: sturgill@cs.cornell.edu (David Brian Sturgill)
Subject: Information on and-parallelism
Message-ID: <1992Sep8.205358.501@cs.cornell.edu>
Organization: Cornell Univ. CS Dept, Ithaca NY 14853
Date: Tue, 8 Sep 1992 20:53:58 GMT
Lines: 7