The following pages link to Varieties of ordered algebras (Q1229897):
Displaying 50 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Injective hulls for ordered algebras (Q334971) (← links)
- On congruence extension properties for ordered algebras (Q519931) (← links)
- Free shuffle algebras in language varieties (Q671351) (← links)
- Variety theorem for algebras with fuzzy orders (Q679841) (← links)
- Recursion and iteration in continuous theories: the ''M-construction'' (Q790235) (← links)
- Reduction graphs in the lambda calculus (Q792994) (← links)
- On congruence n-distributivity of ordered algebras (Q794684) (← links)
- A uniform approach to inductive posets and inductive closure (Q809105) (← links)
- Two algebraic approaches to variants of the concatenation product (Q861283) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Fuzzy inequational logic (Q892182) (← links)
- P-varieties - a signature independent characterization of varieties of ordered algebras (Q1054761) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- An effectively given initial semigroup (Q1061863) (← links)
- The Birkhoff variety theorem for continuous algebras (Q1076703) (← links)
- Algebraic functions in varieties generated by lattice-primal algebras (Q1084425) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- On the algebra of order (Q1143782) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)
- Graph grammars and operational semantics (Q1165029) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based (Q1274921) (← links)
- Orders, reduction graphs and spectra (Q1275630) (← links)
- Varieties and pseudovarieties of ordered normal bands (Q1293379) (← links)
- Testing equivalences for processes (Q1348526) (← links)
- Polynomial closure and unambiguous product (Q1361889) (← links)
- Axiomatizing shuffle and concatenation in languages (Q1383153) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Sup-algebra completions and injective hulls of ordered algebras (Q1646615) (← links)
- Galois connection for multiple-output operations (Q1652848) (← links)
- Factor varieties (Q1701682) (← links)
- A note on regular congruences of ordered semigroups (Q1756688) (← links)
- Semantics for dual and symmetric combinatory calculi (Q1826434) (← links)
- Inductive \(^{*}\)-semirings (Q1882911) (← links)
- A Reiterman theorem for pseudovarieties of finite first-order structures (Q1921405) (← links)
- On Morita equivalence of partially ordered monoids (Q2015821) (← links)
- A topological shuttle between inequalities and pseudoinequalities (Q2031452) (← links)
- Equational theories for automata (Q2074221) (← links)
- On epimorphisms of ordered algebras (Q2182568) (← links)
- On saturated varieties of posemigroups (Q2200475) (← links)
- On varieties of ordered semigroups. (Q2350949) (← links)
- On square-increasing ordered monoids and idempotent semirings (Q2362745) (← links)
- Generalized varieties (Q2366144) (← links)
- Pseudovarieties of ordered completely regular semigroups (Q2422183) (← links)
- Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
- The lattice of subvarieties of semilattice ordered algebras. (Q2510379) (← links)
- Positive varieties of tree languages (Q2576866) (← links)
