Varieties of ordered algebras
From MaRDI portal
Cites work
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- scientific article; zbMATH DE number 3479111 (Why is no real title available?)
- scientific article; zbMATH DE number 3512082 (Why is no real title available?)
- scientific article; zbMATH DE number 3290336 (Why is no real title available?)
- scientific article; zbMATH DE number 3362972 (Why is no real title available?)
Cited in
(96)- P-varieties - a signature independent characterization of varieties of ordered algebras
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- An effectively given initial semigroup
- The Birkhoff variety theorem for continuous algebras
- Algebraic functions in varieties generated by lattice-primal algebras
- Algebraic solutions to recursion schemes
- On the algebra of order
- Varieties of chain-complete algebras
- Tree constructions of free continuous algebras
- Graph grammars and operational semantics
- Conditional rewriting logic as a unified model of concurrency
- On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based
- Orders, reduction graphs and spectra
- Varieties and pseudovarieties of ordered normal bands
- Testing equivalences for processes
- Polynomial closure and unambiguous product
- Axiomatizing shuffle and concatenation in languages
- On the equational definition of the least prefixed point.
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words
- Sup-algebra completions and injective hulls of ordered algebras
- Galois connection for multiple-output operations
- Factor varieties
- A note on regular congruences of ordered semigroups
- Semantics for dual and symmetric combinatory calculi
- Inductive \(^{*}\)-semirings
- A Reiterman theorem for pseudovarieties of finite first-order structures
- On Morita equivalence of partially ordered monoids
- A topological shuttle between inequalities and pseudoinequalities
- Equational theories for automata
- On epimorphisms of ordered algebras
- On saturated varieties of posemigroups
- On varieties of ordered semigroups.
- On square-increasing ordered monoids and idempotent semirings
- Generalized varieties
- Pseudovarieties of ordered completely regular semigroups
- Categorical abstract algebraic logic: Partially ordered algebraic systems
- The lattice of subvarieties of semilattice ordered algebras.
- Positive varieties of tree languages
- A connection between concurrency and language theory
- Varieties of ordered algebras as categories
- Profinite monads, profinite equations, and Reiterman's theorem
- SUBHIERARCHIES OF THE SECOND LEVEL IN THE STRAUBING–THÉRIEN HIERARCHY
- Injective hulls for ordered algebras
- Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
- Closure operators on algebras.
- Infinite trees in normal form and recursive equations having a unique solution
- scientific article; zbMATH DE number 1154179 (Why is no real title available?)
- A categorical approach to syntactic monoids
- Nonfinite axiomatizability of the equational theory of shuffle
- Polynomial closure and unambiguous product
- Freeness in classes without equality
- scientific article; zbMATH DE number 7136663 (Why is no real title available?)
- Epis, dominions and varieties of commutative posemigroups
- Identities preserved under epis of permutative posemigroups
- A categorical view of varieties of ordered algebras
- Fraser–Horn–Hu property for ordered algebras
- Finitary monads on the category of posets
- Metric monads
- Free shuffle algebras in language varieties extended abstract
- Nonfinite axiomatizability of shuffle inequalities
- Permutative varieties of posemigroups
- -algebras
- On congruence extension properties for ordered algebras
- On fixed points of the lower set operator
- Hamiltonian ordered algebras and congruence extension
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- On mono- and epimorphisms in varieties of ordered algebras.
- On special amalgams and closed varieties of posemigroups
- From equational specifications of algebras with structure to varieties of data languages (invited paper)
- Conditional rewriting logic: Deduction, models and concurrency
- Admissible subsets and completions of ordered algebras
- Discrete equational theories
- Adjoint relations between the category of poset acts and some other categories
- Semantics of non-terminating rewrite systems using minimal coverings
- On closedness of some permutative posemigroup identities
- Injective hulls are completions of ordered algebras
- On closed and absolutely closed varieties of posemigroups
- Filtered colimit elimination from Birkhoff's variety theorem
- Free shuffle algebras in language varieties
- Variety theorem for algebras with fuzzy orders
- Algebraic reasoning over relational structures
- Epimorphisms and convex varieties of posemigroups
- Towards enriched universal algebra
- Discrete Lawvere theories and monads
- Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
- Epis and varieties of permutative posemigroups
- Some theorems of Birkhoff in tonoid matrices
- Relativized universal algebra via partial Horn logic
- A purely algebraic proof of the omega-reducibility of pseudovarieties representing low half levels of concatenation hierarchies
- Recursion and iteration in continuous theories: the M-construction
- Reduction graphs in the lambda calculus
- On congruence n-distributivity of ordered algebras
- A uniform approach to inductive posets and inductive closure
- Two algebraic approaches to variants of the concatenation product
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
- Fuzzy inequational logic
This page was built for publication: Varieties of ordered algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1229897)
