Categorical rewriting of term-like structures (Q4923533): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+The basic algebraic structures in categories of derivations
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373552
@@ Property / cites work: Q4373552 / rank @@
+Normal rank
@@ Property / cites work @@
+CPO models for infinite term rewriting
@@ Property / cites work: CPO models for infinite term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362962
@@ Property / cites work: Q4362962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839071
@@ Property / cites work: Q3839071 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic presentation of term graphs, via gs-monoidal categories
+Normal rank
@@ Property / cites work @@
+Rewriting on cyclic structures: Equivalence between the operational and the categorical description
+Normal rank
@@ Property / cites work @@
+A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
+Normal rank
@@ Property / cites work @@
+An algebraic semantics for structured transition systems and its application to logic programs
+Normal rank
@@ Property / cites work @@
+A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
+Normal rank
@@ Property / cites work @@
+Equational properties of iteration in algebraically complete categories
+Normal rank
@@ Property / cites work @@
+REDEX CAPTURING IN TERM GRAPH REWRITING
@@ Property / cites work: REDEX CAPTURING IN TERM GRAPH REWRITING / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499230
@@ Property / cites work: Q4499230 / rank @@
+Normal rank
@@ Property / cites work @@
+A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+On ``On graph rewritings''
@@ Property / cites work: On ``On graph rewritings'' / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite reductions in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / 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 @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023829
@@ Property / cites work: Q4023829 / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract formulation for rewrite systems
@@ Property / cites work: An abstract formulation for rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492940
@@ Property / cites work: Q4492940 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4923533