Shelfclass_id |
4.A |
Sortkey |
ALP |
Authors |
Michael Hanus, Jan Heering, Karl Meinke |
Title |
ALP 1997: Algebraic and Logic Programming: 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997: proceedings |
Publisher |
Springer Pub. Co. |
Year |
c1997 |
Languages |
eng |
Isbn |
3540634592 |
Series |
Lecture Notes in Computer Science |
Volume |
1298 |
Issn |
0302-9743 |
Description |
x, 286 p. ill. 24 cm. |
Record date |
20070104 |
Location |
New York |
Keywords |
Logic programming, Algebraic logic |
Notes |
"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. |