A graphical representation of relational formulae with complementation (Q2889180): Difference between revisions

@@ Property / cites work @@
+Q2723414
@@ Property / cites work: Q2723414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501137
@@ Property / cites work: Q4501137 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling dyadic first-order specifications into map algebra
+Normal rank
@@ Property / cites work @@
+Proofs with graphs
@@ Property / cites work: Proofs with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On graph reasoning
@@ Property / cites work: On graph reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Topology of series-parallel networks
@@ Property / cites work: Topology of series-parallel networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723894
@@ Property / cites work: Q2723894 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms for binary relations
@@ Property / cites work: Normal forms for binary relations / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient relational deductive system for propositional non-classical logics
+Normal rank
@@ Property / cites work @@
+Q4503910
@@ Property / cites work: Q4503910 / rank @@
+Normal rank
@@ Property / cites work @@
+An Agg Application Supporting Visual Reasoning1
@@ Property / cites work: An Agg Application Supporting Visual Reasoning1 / rank @@
+Normal rank
@@ Property / cites work @@
+Goals and benchmarks for automated map reasoning
@@ Property / cites work: Goals and benchmarks for automated map reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539604
@@ Property / cites work: Q4539604 / rank @@
+Normal rank
@@ Property / cites work @@
+Layered map reasoning
@@ Property / cites work: Layered map reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Relational matching for graphical calculi of relations
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank