References:
Ait-Kaci, Hassan and Roger Nasr (1985) Ait-Kaci, Hassan and Roger Nasr "Login: A logic programming language with built in inheritance" E A
in Proceedings of the Appin Workshop on Data Types an (1985) Proceedings of the Appin Workshop on Data Types and Persistence, Research Report 16. M. P. Atkinson, O. P. Buneman, and R. Morrison, Eds. Persistent Programming Research Group, Dept. of Computing Science, Univ. of Glasgow, Glasgow, Scotland E
Ait-Kaci, H. et al, (1986) Ait-Kaci, H. et al, "LOGIN: A Logic Programming Language with Built-In Inheritance", pp185-215 E A
Abstract
in (1986) J Logic Programming 3(3) 1986 E
Ait-Kaci H. et al, (1987) Ait-Kaci H. et al, "LeFun: Logic, Equations and Functions", Proc 1987 Symp on Logic Programming, San Francisco. E A
in (1986) J Logic Programming 3(3) 1986 E
Seo, J.; Ait-Kaci, H.; Nasr, R. (1988) Seo, J.; Ait-Kaci, H.; Nasr, R. "BABEL: a base for an experimental library" Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval Grenoble, France pp175-190
E A
in (1986) J Logic Programming 3(3) 1986 E
Ait-Kaci, Hassan and Patrick Lincoln. (1989) Ait-Kaci, Hassan and Patrick Lincoln. "LIFE - A natural language for natural language" pp37-67
E A
in T.A. (1989) T.A. Informations, 30(1--2) (1989). Association pour le Traitement Automatique des Langues, Paris, France E
Ait-Kaci, Hassan and Andreas Podelski. (1991) Ait-Kaci, Hassan and Andreas Podelski. "Functions as passive constraints in LIFE" PRL Research Report 13, Digital Equipment Corporation, Paris Research Laboratory, RueilMalmaison, France (1991).
E A
in T.A. (1989) T.A. Informations, 30(1--2) (1989). Association pour le Traitement Automatique des Langues, Paris, France E
Ait-Kaci, Hassan and Andreas Podelski. (1991) Ait-Kaci, Hassan and Andreas Podelski. Towards a meaning of LIFE. PRL Research Report 11, Digital Equipment Corporation, Paris Research Laboratory, RueilMalmaison, France (1991).
E A
in T.A. (1989) T.A. Informations, 30(1--2) (1989). Association pour le Traitement Automatique des Langues, Paris, France E
Ait-Kaci, Hassan and Andreas Podelski (1991) Ait-Kaci, Hassan and Andreas Podelski "Towards a meaning of LIFE" E A
in Maluszynski, Jan and Martin Wirsing, editors, Proc (1991) Maluszynski, Jan and Martin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255-274. SpringerVerlag, LNCS 528 (August 1991). E
AitKaci, Hassan (1991) AitKaci, Hassan "Is There a Meaning to LIFE?" E A
in (1991) International Conf on Logic Programming, 1991 E
Jacques Garrigue and Hassan Aït-Kaci. (1994) Jacques Garrigue and Hassan Aït-Kaci. The typed polymorphic label-selective lambda-calculus. In Proc. ACM Symposium on Principles of Programming Languages, pages 35-47, 1994 E A
in (1991) International Conf on Logic Programming, 1991 E
|