A Novel Derivation Framework For Definite Logic Program (Q5415609): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.04.054
+Normal rank
@@ Property / OpenAlex ID @@
+W2064295786
@@ Property / OpenAlex ID: W2064295786 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Sequence-based abstract interpretation of Prolog
@@ Property / cites work: Sequence-based abstract interpretation of Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of abstract domains for logic programming: Open product and generic pattern construction
+Normal rank
@@ Property / cites work @@
+A dynamic approach to characterizing termination of general logic programs
+Normal rank
@@ Property / cites work @@
+Q5491199
@@ Property / cites work: Q5491199 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5415609