Domain theory for nonmonotonic functions (Q5096193): 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 @@
+Q3960697
@@ Property / cites work: Q3960697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750391
@@ Property / cites work: Q5750391 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4193455
@@ Property / cites work: Q4193455 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank