Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1443075279
@@ Property / OpenAlex ID: W1443075279 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.8111
@@ Property / arXiv ID: 1410.8111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850062
@@ Property / cites work: Q4850062 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational logic of circular data type specification
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point operations on ccc's. I
@@ Property / cites work: Fixed-point operations on ccc's. I / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734934
@@ Property / cites work: Q2734934 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultimate approximation and its application in nonmonotonic knowledge representation systems
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919058
@@ Property / cites work: Q3919058 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of Park induction
@@ Property / cites work: Completeness of Park induction / rank @@
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q2707234
@@ Property / cites work: Q2707234 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axioms associated with finite automata for fixed point operations in cartesian categories
+Normal rank
@@ Property / cites work @@
+Equational Properties of Stratified Least Fixed Points (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Equational properties of iteration in algebraically complete categories
+Normal rank
@@ Property / cites work @@
+A fixed point theorem for non-monotonic functions
@@ Property / cites work: A fixed point theorem for non-monotonic functions / rank @@
+Normal rank
@@ Property / cites work @@
+Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+The alternating fixpoint of logic programs with negation
+Normal rank
@@ Property / cites work @@
+Minimum model semantics for logic programs with negation-as-failure
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Splitting an operator
@@ Property / cites work: Splitting an operator / rank @@
+Normal rank