Recursively indefinite databases (Q688672): Difference between revisions

@@ Property / cites work @@
+On the representation and querying of sets of possible worlds
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic definition of context-free rewriting and its application to NLC graph grammars
+Normal rank
@@ Property / cites work @@
+Q3830540
@@ Property / cites work: Q3830540 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Q3785988
@@ Property / cites work: Q3785988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774975
@@ Property / cites work: Q3774975 / rank @@
+Normal rank
@@ Property / cites work @@
+Incomplete deductive databases
@@ Property / cites work: Incomplete deductive databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783512
@@ Property / cites work: Q3783512 / rank @@
+Normal rank
@@ Property / cites work @@
+Some computational aspects of circumscription
@@ Property / cites work: Some computational aspects of circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795251
@@ Property / cites work: Q3795251 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4013779
@@ Property / cites work: Q4013779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993363
@@ Property / cites work: Q3993363 / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Querying logical databases
@@ Property / cites work: Querying logical databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q3974888
@@ Property / cites work: Q3974888 / rank @@
+Normal rank