Positive Fork Graph Calculus (Q3605526): Difference between revisions

@@ Property / cites work @@
+Q4501137
@@ Property / cites work: Q4501137 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs with graphs
@@ Property / cites work: Proofs with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with Graphs
@@ Property / cites work: Reasoning with Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On Positive Relational Calculi
@@ Property / cites work: On Positive Relational Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3146903
@@ Property / cites work: Q3146903 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Relational treatment of term graphs with bound variables
+Normal rank
@@ Property / cites work @@
+Relational matching for graphical calculi of relations
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relation-algebraic semantics
@@ Property / cites work: Relation-algebraic semantics / rank @@
+Normal rank