Constructor equivalent term rewriting systems are strongly sequential: A direct proof (Q1338780): 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/0020-0190(94)00122-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1995788030
@@ Property / OpenAlex ID: W1995788030 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructor equivalent term rewriting systems
@@ Property / cites work: Constructor equivalent term rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequentiality in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Classes of equational programs that compile into efficient machine code
+Normal rank
@@ Property / cites work @@
+On the correspondence between two classes of reduction systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1338780