Proof methods of declarative properties of definite programs (Q685395): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2094612221
@@ Property / OpenAlex ID: W2094612221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428289
@@ Property / cites work: Q4428289 / rank @@
+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 @@
+Q3657412
@@ Property / cites work: Q3657412 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3201746
@@ Property / cites work: Q3201746 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination properties of prolog programs: A semantic approach
+Normal rank
@@ Property / cites work @@
+Q4138099
@@ Property / cites work: Q4138099 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
+Normal rank
@@ Property / cites work @@
+An operational formal definition of PROLOG: A specification method and its application
+Normal rank
@@ Property / cites work @@
+Q3830550
@@ Property / cites work: Q3830550 / rank @@
+Normal rank
@@ Property / cites work @@
+Attribute grammars. Definitions, systems and bibliography
+Normal rank
@@ Property / cites work @@
+Relating logic programs and attribute grammars
@@ Property / cites work: Relating logic programs and attribute grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204030
@@ Property / cites work: Q3204030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875865
@@ Property / cites work: Q4875865 / rank @@
+Normal rank
@@ Property / cites work @@
+Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
+Normal rank
@@ Property / cites work @@
+Q3698285
@@ Property / cites work: Q3698285 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of Logic Programs
@@ Property / cites work: Derivation of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalent logic programs
@@ Property / cites work: Equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4728222
@@ Property / cites work: Q4728222 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Incompleteness Result for Hoare's System
@@ Property / cites work: A New Incompleteness Result for Hoare's System / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages: Correction
@@ Property / cites work: Semantics of context-free languages: Correction / rank @@
+Normal rank
@@ Property / cites work @@
+Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
+Normal rank