Parallel Evaluation of a Deductive Query with a Breadth-first Search Strategy
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 22 ; 89-99
01.01.2000
11 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A Randomized Queueless Algorithm for Breadth-First Search
British Library Online Contents | 2008
|British Library Online Contents | 2004
|Europäisches Patentamt | 2021
|Europäisches Patentamt | 2022
|Automated Deductive Verification of Parallel Systems
British Library Conference Proceedings | 1997
|