Matrix interpretations for proving termination of term rewriting (Q928655): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-007-9087-9
@@ Property / DOI: 10.1007/s10817-007-9087-9 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+TPDB
@@ Property / describes a project that uses: TPDB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2136514805
@@ Property / OpenAlex ID: W2136514805 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Q3917482
@@ Property / cites work: Q3917482 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix Interpretations for Proving Termination of Term Rewriting
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / 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 @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Uncurrying for Termination
@@ Property / cites work: Uncurrying for Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of String Rewriting with Matrix Interpretations
+Normal rank
@@ Property / cites work @@
+Termination of \(\{aa\rightarrow bc,bb\rightarrow ac,cc\rightarrow ab\}\)
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ Property / cites work @@
+Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
+Normal rank
@@ Property / DOI @@
+.1007/S10817-007-9087-9
@@ Property / DOI: 10.1007/S10817-007-9087-9 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:928655