Positive Fork Graph Calculus (Q3605526): Difference between revisions

@@ Property / author @@
+Renata P. de Freitas
@@ Property / author: Renata P. de Freitas / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-92687-0_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1531971469
@@ Property / OpenAlex ID: W1531971469 / rank @@
+Normal rank
@@ 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