Enhancing expressivity of checked corecursive streams (Q2163153): Difference between revisions

@@ Property / describes a project that uses @@
+CoALP
@@ Property / describes a project that uses: CoALP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+coFJ
@@ Property / describes a project that uses: coFJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoCaml
@@ Property / describes a project that uses: CoCaml / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4285287304
@@ Property / OpenAlex ID: W4285287304 / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing expressivity of checked corecursive streams
+Normal rank
@@ Property / cites work @@
+Generalizing Inference Systems by Coaxioms
@@ Property / cites work: Generalizing Inference Systems by Coaxioms / rank @@
+Normal rank
@@ Property / cites work @@
+A Theoretical Perspective of Coinductive Logic Programming
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5109521
@@ Property / cites work: Q5109521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5028421
@@ Property / cites work: Q5028421 / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible coinductive logic programming
@@ Property / cites work: Flexible coinductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete stream calculus: An extended study
@@ Property / cites work: Concrete stream calculus: An extended study / rank @@
+Normal rank
@@ Property / cites work @@
+Q5178454
@@ Property / cites work: Q5178454 / rank @@
+Normal rank
@@ Property / cites work @@
+CoCaml: Functional Programming with Regular Coinductive Types
+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 @@
+Coalgebraic logic programming: from Semantics to Implementation
+Normal rank
@@ Property / cites work @@
+A coinductive calculus of streams
@@ Property / cites work: A coinductive calculus of streams / rank @@
+Normal rank
@@ Property / cites work @@
+Co-Logic Programming: Extending Logic Programming with Coinduction
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2163153