Certification of Proving Termination of Term Rewriting by Matrix Interpretations (Q5448658): Difference between revisions

@@ Property / author @@
-Hans Zantema
@@ Property / author: Hans Zantema / rank @@
-Normal rank
@@ Property / author @@
+Hans Zantema
@@ Property / author: Hans Zantema / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoLoR
@@ Property / describes a project that uses: CoLoR / 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 @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CiME
@@ Property / describes a project that uses: CiME / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPA
@@ Property / describes a project that uses: TPA / 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.1007/978-3-540-77566-9_28
+Normal rank
@@ Property / OpenAlex ID @@
+W2067772798
@@ Property / OpenAlex ID: W2067772798 / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting with Modal Logics in the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Certification of Automated Termination Proofs
@@ Property / cites work: Certification of Automated Termination Proofs / 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 @@
+Tyrolean termination tool: techniques and features
+Normal rank
@@ Property / cites work @@
+TPA: Termination Proved Automatically
@@ Property / cites work: TPA: Termination Proved Automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Certification of Proving Termination of Term Rewriting by Matrix Interpretations
+Normal rank
@@ Property / cites work @@
+Certified Size-Change Termination
@@ Property / cites work: Certified Size-Change Termination / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5448658