Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /

"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 al...

Full description

Bibliographic Details

Corporate Authors:	SpringerLink (Online service), International Conference on Algebraic and Logic Programming
Other Authors:	Levi, G. (Giorgio), 1942-, Rodríguez Artalejo, M. (Mario)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1994]
Series:	Lecture notes in computer science ; 850.
Subjects:	Logic programming > Congresses. Algebraic logic > Congresses. programmation en logique. sémantique programme. réécriture. démonstration théorème. spécification algébrique. Algebraic logic. Logic programming. Logique algébrique > Congrès. Programmation logique > Congrès. Electronic books. Conference proceedings. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book