Travelled to:
1 × France
Collaborated with:
A.M.Segre
Talks about:
asynchron (1) parallel (1) scheme (1) order (1) novel (1) logic (1) first (1)
Person: David B. Sturgill
DBLP: Sturgill:David_B=
Contributed to:
Wrote 1 papers:
- CADE-1994-SturgillS #first-order #logic #novel #parallel
- A Novel Asynchronous Parallelism Scheme for First-Order Logic (DBS, AMS), pp. 484–498.