Compositional term rewriting: An algebraic proof of Toyama's theorem (Q5055865): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61464-8_58
+Normal rank
@@ Property / OpenAlex ID @@
+W1577802939
@@ Property / OpenAlex ID: W1577802939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Formal category theory: Adjointness for 2-categories
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of confluence: A simplified proof
@@ Property / cites work: Modularity of confluence: A simplified proof / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional term rewriting: An algebraic proof of Toyama's theorem
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954455
@@ Property / cites work: Q4954455 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5055865