The query topology in logic programming (Q5096171): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204135
@@ Property / cites work: Q4204135 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological model theory
@@ Property / cites work: Topological model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory of topological structures
@@ Property / cites work: Model theory of topological structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical logic programs
@@ Property / cites work: Canonical logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Commuting Mappings and Fixed Points
@@ Property / cites work: Commuting Mappings and Fixed Points / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541833
@@ Property / cites work: Q5541833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4064159
@@ Property / cites work: Q4064159 / rank @@
+Normal rank
@@ Property / cites work @@
+Some consequences of the normality of the space of models
+Normal rank
@@ Property / cites work @@
+Invariant sets in topology and logic
@@ Property / cites work: Invariant sets in topology and logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096171