On a Tighter Integration of Functional and Logic Programming (Q3498436): Difference between revisions

@@ Property / describes a project that uses @@
+PAKCS
@@ Property / describes a project that uses: PAKCS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-76637-7_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2106602483
@@ Property / OpenAlex ID: W2106602483 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics for declarative multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+On the Correctness of Bubbling
@@ Property / cites work: On the Correctness of Bubbling / rank @@
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Overlapping Rules and Logic Variables in Functional Logic Programs
+Normal rank
@@ Property / cites work @@
+Q3372485
@@ Property / cites work: Q3372485 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Tighter Integration of Functional and Logic Programming
+Normal rank
@@ Property / cites work @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION
+Normal rank
@@ Property / cites work @@
+Q2766774
@@ Property / cites work: Q2766774 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3498436