H. Ait-Kaci and R. Nasr. Integrating logic and functional programming. Lisp and Symbolic Computation, 2:51--89, 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Records for Logic Programming - Smolka, Treinen (1994) (80 citations) (Correct)
Translating Functional Programs to GCLA - Torgersson (Correct)
Cut Formulae and Logic Programming - Pinto (4 citations) (Correct)
A Constructive Type System to Integrate Logic and Functional.. - Pinto, Dyckhoff (1994) (2 citations) (Correct)
Towards a Mathematical Specification of a.. - Börger.. (1994) (Correct)
A Feature-based Constraint System for Logic.. - Hassan Aït-Kaci.. (1992) (Correct)
Records for Logic Programming - Smolka, Treinen (1994) (80 citations) (Correct)
A Feature-based Constraint System for Logic Programming .. - Aït-Kaci, Podelski.. (1992) Self-citation (Ait-kaci) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC