Publisher's Synopsis
Papers of the Second International Conference held in Nancy, France, Oct. 1990 on semantics of algebraic and logic programming; term rewriting, narrowing, resolution; constraint logic programming; concurrent features in algebraic and logic programming languages; and implementation issues. No index. Annotation copyright Book News, Inc. Portland, Or.