Singular and plural functions for functional logic programming (Q5410261): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424.
+Normal rank
@@ Property / cites work @@
+Operational semantics for declarative multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4023829
@@ Property / cites work: Q4023829 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer programming and formal systems
@@ Property / cites work: Computer programming and formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Purely functional lazy non-deterministic programming
+Normal rank
@@ Property / cites work @@
+Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7--9, 2004. Proceedings.
+Normal rank
@@ Property / OpenAlex ID @@
+W2113029157
@@ Property / OpenAlex ID: W2113029157 / rank @@
+Normal rank