Operational semantics of resolution and productivity in Horn clause logic (Q2628299): Difference between revisions

@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Relevant Corecursive Resolution
@@ Property / cites work: Proof Relevant Corecursive Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming and Its Applications
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing metatheory in a logical framework
@@ Property / cites work: Mechanizing metatheory in a logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q4631184
@@ Property / cites work: Q4631184 / rank @@
+Normal rank
@@ Property / cites work @@
+A productivity checker for logic programming
@@ Property / cites work: A productivity checker for logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Derivations in Logic Programming
@@ Property / cites work: Coalgebraic Derivations in Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic programming: from Semantics to Implementation
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Scrap your boilerplate with class
@@ Property / cites work: Scrap your boilerplate with class / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Q3998267
@@ Property / cites work: Q3998267 / rank @@
+Normal rank
@@ Property / cites work @@
+Co-Logic Programming: Extending Logic Programming with Coinduction
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank