Guo, Mingsen; Hee, Joh; Stanley, Y. W. Su Distributed query processing and optimization techniques for a hierarchically structured computer network. (English) Zbl 0712.68028 Inf. Sci. 51, No. 2, 153-182 (1990). Reviewer: E.Kostolansky MSC: 68P15 68M10 68Q10 68W15 × Cite Format Result Cite Review PDF Full Text: DOI
Chen, Wen-Tsuen; Liu, Lung-Lung A parallel approach for theorem proving in propositional logic. (English) Zbl 0644.68116 Inf. Sci. 41, 61-76 (1987). MSC: 68T15 68Q25 03B35 94C10 68N25 03B05 × Cite Format Result Cite Review PDF Full Text: DOI