The Existential Fragment of the One-Step Parallel Rewriting Theory (Q3636820): Difference between revisions

@@ Property / cites work @@
+Toward the concurrent implementation of computational systems
+Normal rank
@@ Property / cites work @@
+Q4938600
@@ Property / cites work: Q4938600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780426
@@ Property / cites work: Q3780426 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938601
@@ Property / cites work: Q4938601 / rank @@
+Normal rank
@@ Property / cites work @@
+On the undecidability of second-order unification
@@ Property / cites work: On the undecidability of second-order unification / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the first order theory of one-step right ground rewriting
+Normal rank
@@ Property / cites work @@
+Rewriting logic: Roadmap and bibliography
@@ Property / cites work: Rewriting logic: Roadmap and bibliography / rank @@
+Normal rank
@@ Property / cites work @@
+On rewrite constraints and context unification
@@ Property / cites work: On rewrite constraints and context unification / rank @@
+Normal rank
@@ Property / cites work @@
+Grid structures and undecidable constraint theories
+Normal rank
@@ Property / cites work @@
+The first-order theory of linear one-step rewriting is undecidable
+Normal rank
@@ Property / cites work @@
+The first-order theory of one step rewriting in linear noetherian systems is undecidable
+Normal rank
@@ Property / cites work @@
+Learning to win process-control games watching game-masters
+Normal rank