Norms on terms and their use in proving universal termination of a logic program (Q1318707): Difference between revisions

@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about termination of pure Prolog programs
+Normal rank
@@ Property / cites work @@
+Q3941433
@@ Property / cites work: Q3941433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736363
@@ Property / cites work: Q2736363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688890
@@ Property / cites work: Q5688890 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive assertion method for logic pograms
@@ Property / cites work: Inductive assertion method for logic pograms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698285
@@ Property / cites work: Q3698285 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688900
@@ Property / cites work: Q5688900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs for logic programs
@@ Property / cites work: Termination proofs for logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688891
@@ Property / cites work: Q5688891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035671
@@ Property / cites work: Q4035671 / rank @@
+Normal rank