Compositionality properties of SLD-derivations (Q1274454): Difference between revisions

@@ Property / cites work @@
+The s-semantics approach: Theory and applications
@@ Property / cites work: The s-semantics approach: Theory and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational and operational semantics for prolog
@@ Property / cites work: Denotational and operational semantics for prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of substitutions and unifications
@@ Property / cites work: Properties of substitutions and unifications / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative modeling of the operational behavior of logic languages
+Normal rank
@@ Property / cites work @@
+Resultant semantics for prolog
@@ Property / cites work: Resultant semantics for prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00174-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2042211420
@@ Property / OpenAlex ID: W2042211420 / rank @@
+Normal rank