Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Algebraic and Logic Programming, International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Other Authors:	Hanus, Michael, Heering, J., Meinke, K. (Karl)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1997]
Series:	Lecture notes in computer science. 1298.
Subjects:	Logic programming > Congresses. Algebraic logic > Congresses.

Description
Item Description:	"Proceedings of the Sixth International Conference on Algebra and Logic Programming (ALP '97) and the Third International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '97), held in Southampton (Great Britain) during September 3-5, 1997"--Pref.
Physical Description:	x, 286 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	3540634592 (alk. paper)
ISSN:	0302-9743 ;