Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting (Q2808236): 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.entcs.2009.07.055
+Normal rank
@@ Property / OpenAlex ID @@
+W2119937562
@@ Property / OpenAlex ID: W2119937562 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination of Context-Sensitive Rewriting with MU-TERM
+Normal rank
@@ Property / cites work @@
+Context-Sensitive Dependency Pairs
@@ Property / cites work: Context-Sensitive Dependency Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the Context-sensitive Dependency Graph
@@ Property / cites work: Improving the Context-sensitive Dependency Graph / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+Relaxing monotonicity for innermost termination
@@ Property / cites work: Relaxing monotonicity for innermost termination / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412115
@@ Property / cites work: Q4412115 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation techniques for context-sensitive rewrite systems
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the dependency pair method
@@ Property / cites work: Automating the dependency pair method / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Rewriting with Strategy Annotations
+Normal rank
@@ Property / cites work @@
+Context-sensitive rewriting strategies
@@ Property / cites work: Context-sensitive rewriting strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination of context-sensitive rewriting by transformation
+Normal rank