Towards a Sharing Strategy for the Graph Rewriting Calculus (Q2873680): 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.1016/j.entcs.2008.03.057
+Normal rank
@@ Property / OpenAlex ID @@
+W2161662583
@@ Property / OpenAlex ID: W2161662583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890709
@@ Property / cites work: Q4890709 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda calculus with explicit recursion
@@ Property / cites work: Lambda calculus with explicit recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848117
@@ Property / cites work: Q2848117 / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting calculus for cyclic higher-order term graphs
+Normal rank
@@ Property / cites work @@
+Pure patterns type systems
@@ Property / cites work: Pure patterns type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Computer Science
@@ Property / cites work: Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting on cyclic structures: Equivalence between the operational and the categorical description
+Normal rank
@@ Property / cites work @@
+Distributive ρ-calculus
@@ Property / cites work: Distributive ρ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844065
@@ Property / cites work: Q2844065 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Term rewriting in CTΣ
@@ Property / cites work: Term rewriting in CTΣ / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2873680