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

@@ Property / DOI @@
-.1007/s00165-016-0403-1
@@ Property / DOI: 10.1007/s00165-016-0403-1 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2507158969
@@ Property / OpenAlex ID: W2507158969 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04114
@@ Property / arXiv ID: 1604.04114 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00165-016-0403-1
@@ Property / DOI: 10.1007/S00165-016-0403-1 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/fac/FuK17
@@ Property / DBLP publication ID: journals/fac/FuK17 / rank @@
+Normal rank