Arenas-Sánchez, Puri; López-Fraguas, F. J.; Rodríguez-Artalejo, M. Functional plus logic programming with built-in and symbolic constraints. (English) Zbl 0953.68033 Nadathur, Gopalan (ed.), Principles and practice of declarative programming. International conference PPDP ’99. Paris, France, September 29-October 1, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1702, 152-169 (1999). MSC: 68N18 68N17 PDFBibTeX XMLCite \textit{P. Arenas-Sánchez} et al., Lect. Notes Comput. Sci. 1702, 152--169 (1999; Zbl 0953.68033)
González-Moreno, Juan Carlos; Hortalá-González, María Teresa; Rodríguez-Artalejo, Mario On the completeness of narrowing as the operational semantics of functional logic programming. (English) Zbl 0797.68103 Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 216-230 (1993). MSC: 68Q55 68N17 68Q65 PDFBibTeX XMLCite \textit{J. C. González-Moreno} et al., Lect. Notes Comput. Sci. 702, 216--230 (1993; Zbl 0797.68103)
Moreno-Navarro, Juan José; Rodríguez-Artalejo, Mario Logic programming with functions and predicates: The language BABEL. (English) Zbl 0754.68031 J. Log. Program. 12, No. 3, 191-223 (1992). MSC: 68N17 68N15 68Q55 PDFBibTeX XMLCite \textit{J. J. Moreno-Navarro} and \textit{M. Rodríguez-Artalejo}, J. Log. Program. 12, No. 3, 191--223 (1992; Zbl 0754.68031) Full Text: DOI
Kuchen, Herbert; Loogen, Rita; Moreno-Navarro, Juan José; Rodríguez-Artalejo, Mario Graph-based implementation of a functional logic language. (English) Zbl 0765.68021 ESOP’90, Proc. 3rd Eur. Symp., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 432, 271-290 (1990). MSC: 68N20 68N15 PDFBibTeX XMLCite \textit{H. Kuchen} et al., Lect. Notes Comput. Sci. 432, 271--290 (1990; Zbl 0765.68021)