Concurrency theorems for non-linear rewriting theories (Q2117255): Difference between revisions

@@ Property / author @@
-Jean Krivine
@@ Property / author: Jean Krivine / rank @@
-Normal rank
@@ Property / author @@
+Jean Krivine
@@ Property / author: Jean Krivine / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AGREE
@@ Property / describes a project that uses: AGREE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3173342440
@@ Property / OpenAlex ID: W3173342440 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02842
@@ Property / arXiv ID: 2105.02842 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411966
@@ Property / cites work: Q3411966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5020536
@@ Property / cites work: Q5020536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5020951
@@ Property / cites work: Q5020951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5021230
@@ Property / cites work: Q5021230 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic mechanics of graph rewriting
@@ Property / cites work: Stochastic mechanics of graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3300791
@@ Property / cites work: Q3300791 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
+Normal rank
@@ Property / cites work @@
+Compositionality of Rewriting Rules with Conditions
+Normal rank
@@ Property / cites work @@
+Rule Algebras for Adhesive Categories
@@ Property / cites work: Rule Algebras for Adhesive Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Counting planar maps, coloured or uncoloured
@@ Property / cites work: Counting planar maps, coloured or uncoloured / rank @@
+Normal rank
@@ Property / cites work @@
+How to delete categorically -- two pushout complement constructions
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+Sesqui-Pushout Rewriting
@@ Property / cites work: Sesqui-Pushout Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+AGREE – Algebraic Graph Rewriting with Controlled Embedding
+Normal rank
@@ Property / cites work @@
+Reversible Sesqui-Pushout Rewriting
@@ Property / cites work: Reversible Sesqui-Pushout Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Exponentiable morphisms, partial products and pullback complements
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904140
@@ Property / cites work: Q4904140 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
+Normal rank
@@ Property / cites work @@
+Finitary $\mathcal{M}$ -Adhesive Categories
@@ Property / cites work: Finitary $\mathcal{M}$ -Adhesive Categories / rank @@
+Normal rank
@@ Property / cites work @@
+On the axioms for adhesive and quasiadhesive categories
+Normal rank
@@ Property / cites work @@
+Knowledge representation and update in hierarchies of graphs
+Normal rank
@@ Property / cites work @@
+Hereditary Pushouts Reconsidered
@@ Property / cites work: Hereditary Pushouts Reconsidered / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasitoposes, Quasiadhesive Categories and Artin Glueing
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic Sesqui-Pushout Graph Rewriting
@@ Property / cites work: Polymorphic Sesqui-Pushout Graph Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Quasitopoi, logic and Heyting-valued models
@@ Property / cites work: Quasitopoi, logic and Heyting-valued models / rank @@
+Normal rank