Strong and NV-sequentiality of constructor systems (Q1029079): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ 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.ipl.2003.11.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1964852933
@@ Property / OpenAlex ID: W1964852933 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Sequentiality, monadic second-order logic and tree automata.
+Normal rank
@@ Property / cites work @@
+Decidable call by need computations in term rewriting (extended abstract)
+Normal rank
@@ Property / cites work @@
+Bounded, strongly sequential and forward-branching term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly sequential and inductively sequential term rewriting systems
+Normal rank
@@ Property / cites work @@
+Decidable approximations of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Sequentiality in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Root-neededness and approximations of neededness
@@ Property / cites work: Root-neededness and approximations of neededness / rank @@
+Normal rank
@@ Property / cites work @@
+Context-sensitive rewriting strategies
@@ Property / cites work: Context-sensitive rewriting strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938609
@@ Property / cites work: Q4938609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705608
@@ Property / cites work: Q4705608 / rank @@
+Normal rank
@@ Property / cites work @@
+NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q4023829
@@ Property / cites work: Q4023829 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of equational programs that compile into efficient machine code
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1029079