All-Termination(T) (Q3617771): Difference between revisions

@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Analysis with Calling Context Graphs
@@ Property / cites work: Termination Analysis with Calling Context Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+All-Termination(T)
@@ Property / cites work: All-Termination(T) / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Functions for Size-Change Termination II
@@ Property / cites work: Ranking Functions for Size-Change Termination II / rank @@
+Normal rank
@@ Property / cites work @@
+On computing minimal models
@@ Property / cites work: On computing minimal models / rank @@
+Normal rank
@@ Property / cites work @@
+ACL2s: “The ACL2 Sedan”
@@ Property / cites work: ACL2s: “The ACL2 Sedan” / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Q4447238
@@ Property / cites work: Q4447238 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic basis for the termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Certified Size-Change Termination
@@ Property / cites work: Certified Size-Change Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Conditional Termination
@@ Property / cites work: Proving Conditional Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Proving non-termination
@@ Property / cites work: Proving non-termination / 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 @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACL2s
@@ Property / describes a project that uses: ACL2s / 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-642-00768-2_33
+Normal rank
@@ Property / OpenAlex ID @@
+W1583921451
@@ Property / OpenAlex ID: W1583921451 / rank @@
+Normal rank