Sémantique logique et dénotationnelle des interpréteurs PROLOG (Q3798220): Difference between revisions

@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The recursion-theoretic complexity of the semantics of predicate logic as a programming language
+Normal rank
@@ Property / cites work @@
+A deterministic prolog fixpoint semantics
@@ Property / cites work: A deterministic prolog fixpoint semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of negation as failure
@@ Property / cites work: The consistency of negation as failure / rank @@
+Normal rank
@@ Property / cites work @@
+Closures and fairness in the semantics of programming logic
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Negation as failure. II
@@ Property / cites work: Negation as failure. II / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Top-down semantics of fair computations of logic programs
+Normal rank