A semantics for modular general logic programs (Q1274967): Difference between revisions

@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Differential logic programs: Programming methodologies and semantics
+Normal rank
@@ Property / cites work @@
+Simultaneous Replacement in Normal Programs
@@ Property / cites work: Simultaneous Replacement in Normal Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional semantics for logic programs
@@ Property / cites work: A compositional semantics for logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional model-theoretic semantics for logic programs
+Normal rank
@@ Property / cites work @@
+Q4225120
@@ Property / cites work: Q4225120 / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+Observable Semantics for Constraint Logic Programs
+Normal rank
@@ Property / cites work @@
+Q4844168
@@ Property / cites work: Q4844168 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Closures and fairness in the semantics of programming logic
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3725521
@@ Property / cites work: Q3725521 / rank @@
+Normal rank
@@ Property / cites work @@
+A transformation system for deductive database modules with perfect model semantics
+Normal rank
@@ Property / cites work @@
+A logical analysis of modules in logic programming
+Normal rank
@@ Property / cites work @@
+Equivalence-preserving first-order unfold/fold transformation systems
+Normal rank
@@ Property / cites work @@
+Q5750391
@@ Property / cites work: Q5750391 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1274967