Information on and-parallelism

Thread View: comp.lang.prolog

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by David Brian Sturgill Tue, 08 Sep 1992 20:53

#696

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads