A logical semantics for depth-first Prolog with ground negation (Q1390936): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A logical semantics for depth-first Prolog with ground negation
+Normal rank
@@ Property / cites work @@
+Reasoning about prolog programs: From modes through types to assertions
+Normal rank
@@ Property / cites work @@
+Reasoning about termination of pure Prolog programs
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and denotational semantics of prolog
@@ Property / cites work: Operational and denotational semantics of prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling Prolog Control
@@ Property / cites work: Modelling Prolog Control / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination properties of prolog programs: A semantic approach
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong termination of logic programs
@@ Property / cites work: Strong termination of logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Simple operational and denotational semantics for Prolog with cut
+Normal rank
@@ Property / cites work @@
+Q3976572
@@ Property / cites work: Q3976572 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Denotational and operational semantics for prolog
@@ Property / cites work: Denotational and operational semantics for prolog / rank @@
+Normal rank
@@ Property / cites work @@
+An operational formal definition of PROLOG: A specification method and its application
+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 @@
+Q3698285
@@ Property / cites work: Q3698285 / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding and fixpoint semantics of concurrent constraint logic programs
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Negation and control in PROLOG
@@ Property / cites work: Negation and control in PROLOG / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs for logic programs
@@ Property / cites work: Termination proofs for logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A view of programming languages as symbiosis of meaning and computations
+Normal rank
@@ Property / cites work @@
+Tight, consistent, and computable completions for unrestricted logic programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1390936