The expressiveness of locally stratified programs (Q1924734): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960112
@@ Property / cites work: Q3960112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983042
@@ Property / cites work: Q3983042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477998
@@ Property / cites work: Q3477998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348419
@@ Property / cites work: Q3348419 / 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 @@
+Q4318639
@@ Property / cites work: Q4318639 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Q3829537
@@ Property / cites work: Q3829537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of stratified logic programs
@@ Property / cites work: The expressive power of stratified logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems I
@@ Property / cites work: A theory of nonmonotonic rule systems I / rank @@
+Normal rank
@@ Property / cites work @@
+How complicated is the set of stable models of a recursive logic program?
+Normal rank
@@ Property / cites work @@
+Q4846259
@@ Property / cites work: Q4846259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1924734