A parallel resolution method for logic programs

Metadata Label Value
Author(s): Zolliker, Urs
Publisher: Unknown
Citation:

Zolliker, Urs. A parallel resolution method for logic programs. (1993). http://dx.doi.org/10.3929/ethz-a-000701573

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (148.58KB) , Fulltext (1.98MB)
Import to Mendeley

Detailed Information

Metadata Description
Title A parallel resolution method for logic programs
Author(s) Zolliker, Urs
Publication Place Zürich
Publication Date 1993
Notes Diss. Math. Wiss. ETH Zürich, Nr. 10061, 1993. Ref.: E. Engeler ; Korref.: G. Jäger
DOI http://dx.doi.org/10.3929/ethz-a-000701573
Subject(s) Software
Fundamental Bases, Logic, Philosophy of Mathematics
Keyword(s) DECLARATIVE PROGRAMMING
LOGIC PROGRAMMING
PROGRAMMING METHODS
LOGICAL SEMANTICS
SEMANTIC ANTINOMIES
MATHEMATICAL LOGIC
CONCURRENT PROGRAMMING
DISTRIBUTED PROGRAMMING
PARALLEL PROGRAMMING
HORN CLAUSES
UNIFICATION
DISTRIBUTED ALGORITHMS
PARALLEL ALGORITHMS
Description File Name MIME Type Size
Abstract   eth-38932-01.pdf application/pdf 148.58KB
Fulltext   eth-38932-02.pdf application/pdf 1.98MB
Abstract Views and Downloads
Views 82  abstracts
Downloads 158  downloads

Abstract Views and Downloads by Country
Views 27  abstracts
Downloads 59  downloads
Germany Views 10  abstracts
Downloads 29  downloads
United States Views 10  abstracts
Downloads 17  downloads
Switzerland Views 11  abstracts
Downloads 12  downloads
China Views 15  abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Egypt Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Lithuania Views abstracts
Downloads downloads
New Zealand Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
South Africa Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Philippines Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads


E-Collection record created: Wed, 18 Feb 2009, 13:36:18 CET