Author:
Gilbert David,Hogger Christopher,Zlatuska Jirí
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. J-P. Banâtre and D. Le Métayer. Programming by Multiset Transformation. Communications of the ACM, 36(1):98–111, 1993.
2. M. Belia and M. E. Occhiuto. C-expressions: a variable-free calculus for equational logic programming. Theoretical Computer Science, 107:209–252, 1993.
3. K. Benkerimi and J. W. Lloyd. A partial evaluation procedure for logic programs. In Debray and Hermenegildo [5], pages 343–358.
4. D. R. Brough and C. J. Hogger. Compiling associativity into logic programs. The Journal of Logic Programming, 4(4):345–360, December 1987.
5. S. Debray and M. Hermenegildo, editors. Proceedings of the 1990 North American Conference on Logic Programming, Austin, 1990. ALP, MIT Press.