On minimal coalgebras (Q934670): Difference between revisions

@@ Property / DOI @@
-.1007/s10485-007-9116-1
@@ Property / DOI: 10.1007/s10485-007-9116-1 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10485-007-9116-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2097456817
@@ Property / OpenAlex ID: W2097456817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Products of coalgebras.
@@ Property / cites work: Products of coalgebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebras of bounded type
@@ Property / cites work: Coalgebras of bounded type / rank @@
+Normal rank
@@ Property / cites work @@
+Types and coalgebraic structure
@@ Property / cites work: Types and coalgebraic structure / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A simplification functor for coalgebras
@@ Property / cites work: A simplification functor for coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620720
@@ Property / cites work: Q5620720 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing collection classes with monads
@@ Property / cites work: Implementing collection classes with monads / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Q5639842
@@ Property / cites work: Q5639842 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10485-007-9116-1
@@ Property / DOI: 10.1007/S10485-007-9116-1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:934670