SODA

Items where Year is 1986

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Number of items: 14.

Ali, Khayri Mohammed (1986) OR-Parallel Execution of Prolog on a Multi-Sequential Machine. [SICS Report]

Appleby, Karen and Carlsson, Mats and Haridi, Seif and Sahlin, Dan (1986) Garbage Collection for Prolog Based on WAM (Revised version). [SICS Report]

Carlsson, Mats (1986) Freeze, indexing, and other implementation issues in the WAM. [SICS Report]

Carlsson, Mats (1986) An implementation of dif and freeze in the WAM. [SICS Report]

Carlsson, Mats (1986) On compiling indexing and cut for the WAM. [SICS Report]

Ciepielewski, Andrzej and Hausman, Bogumil (1986) Performance evaluation of a storage model for OR-parallel execution of logic programs. [SICS Report]

Elshiewy, Nabiel A. (1986) Time, clocks and committed choice parallelism for logic programming of real time computations. [SICS Report]

Hallnäs, Lars (1986) Generalized horn clauses. [SICS Report]

Hallnäs, Lars (1986) Partial inductive definitions. [SICS Report]

Hausman, Bogumil (1986) A Simulator of the OR-Parallel Token Machine. [SICS Report]

Karjoth, Günter and Sjödin, Peter and Weckner, Steffen (1986) A Sophisticated Environment for Protocol Simulation and Testing. [SICS Report]

Mathieu, Philippe (1986) On the Learning of Functional Dependencies in Deductive Databases. [SICS Report]

Waern, Annika (1986) Process Models of Logic Programs: a Comparison. [SICS Report]

Yoeli, Michael and Pehrson, Björn (1986) Behavior-Preserving Reductions of Communicating System Nets. [SICS Report]

This list was generated on Mon Dec 22 04:39:33 2014 CET.