Normal forms for algebras of connections. (Q1853455): Difference between revisions

@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Q4222992
@@ Property / cites work: Q4222992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222985
@@ Property / cites work: Q4222985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499237
@@ Property / cites work: Q4499237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3485876
@@ Property / cites work: Q3485876 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of finite relations as initial abstract data types. I
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4362962
@@ Property / cites work: Q4362962 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic presentation of term graphs, via gs-monoidal categories
+Normal rank
@@ Property / cites work @@
+Q4941927
@@ Property / cites work: Q4941927 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the algebra of net computations and processes
+Normal rank
@@ Property / cites work @@
+Tile formats for located and mobile systems.
@@ Property / cites work: Tile formats for located and mobile systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839056
@@ Property / cites work: Q3839056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499230
@@ Property / cites work: Q4499230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219030
@@ Property / cites work: Q4219030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931190
@@ Property / cites work: Q3931190 / rank @@
+Normal rank
@@ Property / cites work @@
+Bicategories of processes
@@ Property / cites work: Bicategories of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373555
@@ Property / cites work: Q4373555 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655527
@@ Property / cites work: Q5655527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839052
@@ Property / cites work: Q3839052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371024
@@ Property / cites work: Q4371024 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for interaction
@@ Property / cites work: Calculi for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual nets
@@ Property / cites work: Contextual nets / rank @@
+Normal rank
@@ Property / cites work @@
+Graph rewriting, constraint solving and tiles for coordinating distributed systems
+Normal rank
@@ Property / cites work @@
+Q4090505
@@ Property / cites work: Q4090505 / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of the algebra of Petri net concatenable processes
+Normal rank
@@ Property / cites work @@
+On flowchart theories. II: The nondeterministic case
+Normal rank
@@ Property / cites work @@
+Q4550552
@@ Property / cites work: Q4550552 / rank @@
+Normal rank