Relating conflict-free stable transition and event models via redex families (Q1608893): Difference between revisions

@@ Property / cites work @@
+Q5397484
@@ Property / cites work: Q5397484 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel beta reduction is not elementary recursive
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Minimal and Optimal Computations of Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284547
@@ Property / cites work: Q5284547 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating two categorical models of term rewriting
@@ Property / cites work: Relating two categorical models of term rewriting / 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 @@
+Relative normalization in Deterministic Residual Structures
+Normal rank
@@ Property / cites work @@
+An Abstract form of the church-rosser theorem. I
@@ Property / cites work: An Abstract form of the church-rosser theorem. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Normalization and Standardization in Deterministic Residual Structures
+Normal rank
@@ Property / cites work @@
+Q4699303
@@ Property / cites work: Q4699303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844072
@@ Property / cites work: Q2844072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304752
@@ Property / cites work: Q4304752 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing permutation equivalence
@@ Property / cites work: Axiomatizing permutation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362960
@@ Property / cites work: Q4362960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+On relating rewriting systems and graph grammars to event structures
+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
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank