Graph rewriting and relabeling with PBPO$^+$: a unifying theory for quasitoposes (Q6156939): Difference between revisions

@@ Property / cites work @@
+Patch Graph Rewriting
@@ Property / cites work: Patch Graph Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+The PBPO graph transformation approach
@@ Property / cites work: The PBPO graph transformation approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998741
@@ Property / cites work: Q3998741 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+AGREE – Algebraic Graph Rewriting with Controlled Embedding
+Normal rank
@@ Property / cites work @@
+Quasitoposes, Quasiadhesive Categories and Artin Glueing
+Normal rank
@@ Property / cites work @@
+Algebraic graph rewriting with controlled embedding
+Normal rank
@@ Property / cites work @@
+Graph rewriting and relabeling with PBPO\textsuperscript{+}
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theory
@@ Property / cites work: Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Sesqui-Pushout Rewriting
@@ Property / cites work: Sesqui-Pushout Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency theorems for non-linear rewriting theories
+Normal rank
@@ Property / cites work @@
+Pullback as a generic graph rewriting mechanism
@@ Property / cites work: Pullback as a generic graph rewriting mechanism / rank @@
+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 @@
+Q4904140
@@ Property / cites work: Q4904140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditary Pushouts Reconsidered
@@ Property / cites work: Hereditary Pushouts Reconsidered / rank @@
+Normal rank
@@ Property / cites work @@
+On the axioms for adhesive and quasiadhesive categories
+Normal rank
@@ Property / cites work @@
+L-fuzzy sets
@@ Property / cites work: L-fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010275
@@ Property / cites work: Q4010275 / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic
@@ Property / cites work: Topoi. The categorial analysis of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting abstract structures: materialization explained categorically
+Normal rank
@@ Property / cites work @@
+Q4705609
@@ Property / cites work: Q4705609 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical approach to the construction of fuzzy graph grammars
+Normal rank
@@ Property / cites work @@
+Transformations of fuzzy graphs specified by FD-grammars
+Normal rank
@@ Property / cites work @@
+Transformational approach to the development of software architectures on the basis of fuzzy graph models
+Normal rank
@@ Property / cites work @@
+Amalgamating Pushout and Pullback Graph Transformation in Collagories
+Normal rank
@@ Property / cites work @@
+Drags: a compositional algebraic framework for graph rewriting
+Normal rank
@@ Property / cites work @@
+Collagories: relation-algebraic reasoning for gluing constructions
+Normal rank
@@ Property / cites work @@
+Q3785985
@@ Property / cites work: Q3785985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438775
@@ Property / cites work: Q4438775 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+$\mathcal M, \mathcal N$ -Adhesive Transformation Systems
+Normal rank

Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939): Difference between revisions

Latest revision as of 09:07, 1 August 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)