Non-termination analysis of logic programs with integer arithmetics (Q3087440): Difference between revisions

@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3256
@@ Property / arXiv ID: 1109.3256 / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic approach to characterizing termination of general logic programs
+Normal rank
@@ Property / cites work @@
+Termination prediction for general logic programs
@@ Property / cites work: Termination prediction for general logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of Termination Conditions for Numerical Loops in Prolog
+Normal rank
@@ Property / cites work @@
+<tt>Polytool</tt>: Polynomial interpretations as a basis for termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Termination of logic programs: the never-ending story
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3087440