Varieties of chain-complete algebras (Q1145208): Difference between revisions

@@ Property / author @@
-José Meseguer
@@ Property / author: José Meseguer / rank @@
-Normal rank
@@ Property / author @@
+José Meseguer
@@ Property / author: José Meseguer / 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.1016/0022-4049(80)90106-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2042319653
@@ Property / OpenAlex ID: W2042319653 / rank @@
+Normal rank
@@ Property / cites work @@
+Colimits of algebras revisited
@@ Property / cites work: Colimits of algebras revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063610
@@ Property / cites work: Q4063610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134935
@@ Property / cites work: Q4134935 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to inductive posets and inductive closure
+Normal rank
@@ Property / cites work @@
+Q4176939
@@ Property / cites work: Q4176939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3049836
@@ Property / cites work: Q3049836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5545978
@@ Property / cites work: Q5545978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138104
@@ Property / cites work: Q4138104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of ordered algebras
@@ Property / cites work: Varieties of ordered algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Scalar and vector iteration
@@ Property / cites work: Scalar and vector iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127365
@@ Property / cites work: Q4127365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198080
@@ Property / cites work: Q4198080 / rank @@
+Normal rank
@@ Property / cites work @@
+On some classes of interpretations
@@ Property / cites work: On some classes of interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4772711
@@ Property / cites work: Q4772711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912630
@@ Property / cites work: Q3912630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151140
@@ Property / cites work: Q4151140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616191
@@ Property / cites work: Q5616191 / rank @@
+Normal rank
@@ Property / cites work @@
+Kan extensions in enriched category theory
@@ Property / cites work: Kan extensions in enriched category theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+General Theory of Natural Equivalences
@@ Property / cites work: General Theory of Natural Equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint functors and triples
@@ Property / cites work: Adjoint functors and triples / rank @@
+Normal rank
@@ Property / cites work @@
+Automata in general algebras
@@ Property / cites work: Automata in general algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636309
@@ Property / cites work: Q5636309 / rank @@
+Normal rank
@@ Property / cites work @@
+A Perspective View of Discrete Automata and Their Design
+Normal rank
@@ Property / cites work @@
+Lokal präsentierbare Kategorien. (Locally presentable categories)
+Normal rank
@@ Property / cites work @@
+Semantics of computation
@@ Property / cites work: Semantics of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
+Normal rank
@@ Property / cites work @@
+Q4125728
@@ Property / cites work: Q4125728 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4122068
@@ Property / cites work: Q4122068 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139646
@@ Property / cites work: Q4139646 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Categories and Regular Functors
@@ Property / cites work: Regular Categories and Regular Functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras with a Scheme of Operators
@@ Property / cites work: Algebras with a Scheme of Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105238
@@ Property / cites work: Q4105238 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of uniformly continuous functions
@@ Property / cites work: Algebras of uniformly continuous functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123303
@@ Property / cites work: Q4123303 / rank @@
+Normal rank
@@ Property / cites work @@
+Primitive recursive algebraic theories and program schemes
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541361
@@ Property / cites work: Q5541361 / rank @@
+Normal rank
@@ Property / cites work @@
+Some algebraic problems in the context of functorial semantics of algebraic theories
+Normal rank
@@ Property / cites work @@
+Q5599205
@@ Property / cites work: Q5599205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570960
@@ Property / cites work: Q5570960 / rank @@
+Normal rank
@@ Property / cites work @@
+Duality for groups
@@ Property / cites work: Duality for groups / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized approach to formal languages
@@ Property / cites work: A generalized approach to formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950708
@@ Property / cites work: Q3950708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3885170
@@ Property / cites work: Q3885170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+Categories of chain-complete posets
@@ Property / cites work: Categories of chain-complete posets / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145866
@@ Property / cites work: Q4145866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946206
@@ Property / cites work: Q3946206 / rank @@
+Normal rank
@@ Property / cites work @@
+Order completion monads
@@ Property / cites work: Order completion monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766003
@@ Property / cites work: Q4766003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612497
@@ Property / cites work: Q5612497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4090505
@@ Property / cites work: Q4090505 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbb{T}^\omega\) as a universal domain
@@ Property / cites work: \(\mathbb{T}^\omega\) as a universal domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624680
@@ Property / cites work: Q5624680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666704
@@ Property / cites work: Q5666704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4163189
@@ Property / cites work: Q4163189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636307
@@ Property / cites work: Q5636307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Q4181303
@@ Property / cites work: Q4181303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174213
@@ Property / cites work: Q4174213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5665189
@@ Property / cites work: Q5665189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404457
@@ Property / cites work: Q4404457 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point constructions in order-enriched categories
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1145208