On a Graph Calculus for Algebras of Relations (Q3511467): 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 @@
+Proof theory for linear lattices
@@ Property / cites work: Proof theory for linear lattices / 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 @@
+A sequent calculus for relation algebras
@@ Property / cites work: A sequent calculus for relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Arguesian identities in linear lattices
@@ Property / cites work: Arguesian identities in linear lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric identities in lattice theory
@@ Property / cites work: Geometric identities in lattice theory / rank @@
+Normal rank
@@ Property / cites work @@
+Arguesian identities in the congruence variety of Abelian groups
+Normal rank