Algebraic and Logic Programming 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings / edited by Giorgio Levi, Mario Rodriguez-Artalejo.

This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994. Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebrai...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Levi, Giorgio (Editor), Rodriguez-Artalejo, Mario (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994.
Edition:	1st ed. 1994.
Series:	Lecture Notes in Computer Science, 850 Springer eBook Collection.
Subjects:	Software engineering. Computers. Programming languages (Electronic computers). Computer logic. Mathematical logic. Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Concurrent constraint programming
Specifications using multiple-conclusion logic programs
Viewing a program transformation system at work
Proving implications by algebraic approximation
Sufficient completeness and parameterized proofs by induction
Proving behavioural theorems with standard first-order logic
How to realize LSE narrowing
Compositional analysis for equational Horn programs
Equation solving in projective planes and planar ternary rings
From eventual to atomic and locally atomic CC programs: A concurrent semantics
Concurrent logic programming as uniform linear proofs
Three-valued completion for abductive logic programs
A sequential reduction strategy
On modularity of termination and confluence properties of conditional rewrite systems
Syntactical analysis of total termination
Logic programs as term rewriting systems
Higher-order minimal function graphs
Reasoning about layered, wildcard and product patterns
Preserving universal termination through unfold/fold
A logic for variable aliasing in logic programs.

Algebraic and Logic Programming 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings / edited by Giorgio Levi, Mario Rodriguez-Artalejo.

Similar Items