Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;H Aït-Kaci,1991
2. Aït-Kaci, H., Lincoln, P., Nasr, R.: Le fun: logic, equations, and functions. In: Proceedings of the 4th IEEE International Symposium on Logic Programming, San Francisco, pp. 17–23 (1987)
3. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1), 795–829 (2005)
4. Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. J. ACM 47(4), 776–822 (2000)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Antoy,2000