SODA

Items where Year is 1988

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Jump to: A | C | E | F | H | J | K | N | O | P | R | W
Number of items: 20.

A

Ali, Khayri Mohammed (1988) OR parallel execution of horn clause programs based on WAM and shared control information. [SICS Report]

Ali, Khayri Mohammed (1988) OR parallel execution of Prolog on BC-machine. [SICS Report]

Ali, Khayri Mohammed and Wong, Milton (1988) An investigation of an OR parallel execution model for horn clause programs. [SICS Report]

Aronsson, Martin and Hallnäs, Lars (1988) GCLA: Generalized horn clauses as a programming language. [SICS Report]

C

Carlsson, Mats and Widén, Johan (1988) SICStus Prolog user's manual. [SICS Report]

E

Eriksson, Lars-Henrik and Hallnäs, Lars (1988) A programming calculus based on partial inductive definitions (with an introduction to the theory of partial inductive definitions). [SICS Report]

F

Franzén, Torkel (1988) Logic programming and the intuitionistic sequent calculus. [SICS Report]

H

Hallnäs, Lars and Schroeder-Heister, Peter (1988) A proof-theoretic approach to logic programming, I. Generalized horn clauses. [SICS Report]

Hörmander, Sofia (1988) The problems of learning a lexicon with a formal grammar. [SICS Report]

J

Jonsson, Bengt (1988) A fully abstract trace model for dataflow networks. [SICS Report]

K

Kreuger, Per (1988) An approach to handling polymorphic types in higher order unification. [SICS Report]

Kreuger, Per (1988) A higher order logic parser for natural language implemented in Lambda Prolog. [SICS Report]

N

Nordmark, Erik and Gunningberg, Per (1988) SPIMS: A tool for protocol implementation performance measurements. [SICS Report]

O

Orava, Fredrik (1988) Verifying safety and deadlock properties of networks of asynchronously communicating processes. [SICS Report]

P

Pehrson, Björn (1988) Tutorial on verification of protocols. [SICS Report]

R

Rayner, Manny (1988) On the applicability of default logic: two short papers. [SICS Report]

Rayner, Manny and Banks, Amelie (1988) An implementable semantics for comparative constructions. [SICS Report]

Rayner, Manny and Hugosson, Åsa (1988) Reasoning about procedural programs in a chess ending. [SICS Report]

Rayner, Manny and Hugosson, Åsa and Hagert, Göran (1988) Using a logic grammar to learn a lexicon. [SICS Report]

W

Waern, Annika (1988) An Implementation Technique for the Abstract Interpretation of Prolog. [SICS Report]

This list was generated on Sat Sep 23 09:17:50 2017 CEST.