The conflict-free reduction geometry (Q2581368): 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.tcs.2004.07.037
+Normal rank
@@ Property / OpenAlex ID @@
+W4213016368
@@ Property / OpenAlex ID: W4213016368 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4385535
@@ Property / cites work: Q4385535 / rank @@
+Normal rank
@@ Property / cites work @@
+Stable results and relative normalization
@@ Property / cites work: Stable results and relative normalization / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Normalization and Standardization in Deterministic Residual Structures
+Normal rank
@@ Property / cites work @@
+Q2843610
@@ Property / cites work: Q2843610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808737
@@ Property / cites work: Q4808737 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal normalization in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4954449
@@ Property / cites work: Q4954449 / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of orthogonal reduction spaces
@@ Property / cites work: The geometry of orthogonal reduction spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699303
@@ Property / cites work: Q4699303 / rank @@
+Normal rank
@@ Property / cites work @@
+The conflict-free reduction geometry
@@ Property / cites work: The conflict-free reduction geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Relating conflict-free stable transition and event models via redex families
+Normal rank
@@ Property / cites work @@
+Q2844072
@@ Property / cites work: Q2844072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263802
@@ Property / cites work: Q4263802 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactical analysis of normalization
@@ Property / cites work: A syntactical analysis of normalization / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order families
@@ Property / cites work: Higher-order families / rank @@
+Normal rank
@@ Property / cites work @@
+On termination of the direct sum of term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2581368