Unique, guarded fixed points in an additive setting (Q2842814): Difference between revisions

@@ Property / author @@
-Stephen L. Bloom
@@ Property / author: Stephen L. Bloom / rank @@
-Normal rank
@@ Property / author @@
-Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
-Normal rank
@@ Property / author @@
+Stephen L. Bloom
@@ Property / author: Stephen L. Bloom / rank @@
+Normal rank
@@ Property / author @@
+Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable formal power series on trees
@@ Property / cites work: Recognizable formal power series on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
+Normal rank
@@ Property / cites work @@
+Vector Iteration in Pointed Iterative Theories
@@ Property / cites work: Vector Iteration in Pointed Iterative Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+The equational logic of fixed points
@@ Property / cites work: The equational logic of fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Scalar and vector iteration
@@ Property / cites work: Scalar and vector iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3125174
@@ Property / cites work: Q3125174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Comparative metric semantics for concurrent PROLOG
+Normal rank
@@ Property / cites work @@
+Four domains for concurrency
@@ Property / cites work: Four domains for concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091917
@@ Property / cites work: Q4091917 / rank @@
+Normal rank
@@ Property / cites work @@
+Matricial theories
@@ Property / cites work: Matricial theories / rank @@
+Normal rank
@@ Property / cites work @@
+IO and OI. I
@@ Property / cites work: IO and OI. I / rank @@
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of iteration in algebraically complete categories
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138538
@@ Property / cites work: Q3138538 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring
+Normal rank
@@ Property / cites work @@
+Automata and languages generalized to \(\omega\)-continuous semirings
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of data types: A synthetic approach
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q3730012
@@ Property / cites work: Q3730012 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+On regular expressions and regular canonical systems
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the least-fixed-point operator by dinaturality
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80558-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1516783380
@@ Property / OpenAlex ID: W1516783380 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2842814