Confluence of Graph Rewriting with Interfaces (Q2988637): Difference between revisions

@@ Property / describes a project that uses @@
+PNBml
@@ Property / describes a project that uses: PNBml / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2596819160
@@ Property / OpenAlex ID: W2596819160 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories in Control
@@ Property / cites work: Categories in Control / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesivity Is Not Enough: Local Church-Rosser Revisited
+Normal rank
@@ Property / cites work @@
+Finite complete rewriting systems and the complexity of word problem
+Normal rank
@@ Property / cites work @@
+Rewriting modulo symmetric monoidal structure
@@ Property / cites work: Rewriting modulo symmetric monoidal structure / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesising CCS bisimulation using graph rewriting
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics of Signal Flow Graphs
@@ Property / cites work: A Categorical Semantics of Signal Flow Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Signal Flow Graphs
@@ Property / cites work: Full Abstraction for Signal Flow Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Reactive Systems
@@ Property / cites work: Conditional Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms for algebras of connections.
@@ Property / cites work: Normal forms for algebras of connections. / rank @@
+Normal rank
@@ Property / cites work @@
+A basic algebra of stateless connectors
@@ Property / cites work: A basic algebra of stateless connectors / rank @@
+Normal rank
@@ Property / cites work @@
+A Connector Algebra for P/T Nets Interactions
@@ Property / cites work: A Connector Algebra for P/T Nets Interactions / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional word problems with applications to equational logic
+Normal rank
@@ Property / cites work @@
+Matrices, relations, and group representations
@@ Property / cites work: Matrices, relations, and group representations / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting Quantum Observables
@@ Property / cites work: Interacting Quantum Observables / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Complementarity and Non-locality in Categorical Quantum Mechanics
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4122833
@@ Property / cites work: Q4122833 / rank @@
+Normal rank
@@ Property / cites work @@
+The Algebra of Directed Acyclic Graphs
@@ Property / cites work: The Algebra of Directed Acyclic Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Decorated Cospans
@@ Property / cites work: Decorated Cospans / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical approach to open and interconnected dynamical systems
+Normal rank
@@ Property / cites work @@
+Graph rewriting for the π-calculus
@@ Property / cites work: Graph rewriting for the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839056
@@ Property / cites work: Q3839056 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank
@@ Property / cites work @@
+On ground-confluence of term rewriting systems
@@ Property / cites work: On ground-confluence of term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Quantomatic: A Proof Assistant for Diagrammatic Reasoning
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of Boolean circuits.
@@ Property / cites work: Towards an algebraic theory of Boolean circuits. / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Critical Pairs in 2-Dimensional Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Towards 3-Dimensional Rewriting Theory
@@ Property / cites work: Towards 3-Dimensional Rewriting Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883463
@@ Property / cites work: Q3883463 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal computer. I: Basic computability by string diagrams
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Q3396010
@@ Property / cites work: Q3396010 / rank @@
+Normal rank
@@ Property / cites work @@
+A Programming Language for Spatial Distribution of Net Systems
+Normal rank
@@ Property / cites work @@
+Limits indexed by category-valued 2-functors
@@ Property / cites work: Limits indexed by category-valued 2-functors / rank @@
+Normal rank