Proving Termination by Invariance Relations (Q5325774): Difference between revisions

@@ Property / cites work @@
+Q2736363
@@ Property / cites work: Q2736363 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of logic programs: the never-ending story
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving descriptions of possible values of program variables by means of abstract interpretation
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Analysis of CHR Revisited
@@ Property / cites work: Termination Analysis of CHR Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank