The following pages link to (Q5572358):
Displaying 50 items.
- A characterization of the leaf language classes (Q287160) (← links)
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Weakly based modules over Dedekind domains (Q397851) (← links)
- Super-De Morgan functions and free De Morgan quasilattices (Q403200) (← links)
- On limits and colimits of variety-based topological systems (Q409742) (← links)
- Lattice properties of congruences for stochastic relations (Q424543) (← links)
- Clones of topological spaces (Q439313) (← links)
- Fundamental relations in multialgebras. Applications. (Q477735) (← links)
- Free idempotent generated semigroups and endomorphism monoids of independence algebras (Q512197) (← links)
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- Partition semantics for relations (Q579957) (← links)
- Zur Vollständigkeit der induktiven Gruppoide der partiellen Automorphismen von Algebren. (On the completeness of the inductive groupoids of the partial automorphisms of algebras) (Q581660) (← links)
- Unification in commutative theories (Q582071) (← links)
- Pseudo-BCK algebras as partial algebras (Q621618) (← links)
- Generalized (convex) fuzzy sublattices (Q651549) (← links)
- Proving implications by algebraic approximation (Q671502) (← links)
- Term rewriting and Hoare logic -- Coded rewriting (Q673226) (← links)
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- Sobriety and spatiality in categories of lattice-valued algebras (Q695258) (← links)
- The homomorphism lattice induced by a finite algebra (Q722581) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- A note on equationally compact lattices (Q758488) (← links)
- On a question of G. H. Wenzel (Q758498) (← links)
- On universal Horn classes categorical in some infinite power (Q759010) (← links)
- Archimedean lattices (Q759049) (← links)
- On transferable semilattices (Q759169) (← links)
- A note on the algebraicity of \(L\)-fuzzy subalgebras in universal algebra (Q780280) (← links)
- Partially monadic functors (Q788817) (← links)
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- Implementation of data types by algebraic methods (Q792753) (← links)
- On the minimum order of graphs with given semigroup (Q793058) (← links)
- On linear varieties (Q797610) (← links)
- Pseudovarieties, generalized varieties and similarly described classes (Q799720) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Algebras, polynomials and programs (Q802882) (← links)
- Lattice of fuzzy subalgebras and closure systems in \(I^ X\) (Q807657) (← links)
- Using information systems to solve recursive domain equations (Q808273) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Several epistemological problems related to the concept of systems (Q810487) (← links)
- Automorphisms of categories of free algebras of some varieties (Q858706) (← links)
- On the direct limit of a direct system of multialgebras (Q860457) (← links)
- A topological completion of refined hedge algebras and a model of fuzziness of linguistic terms and hedges (Q868308) (← links)
- Distributive congruence lattices of congruence-permutable algebras (Q877697) (← links)
- Genomorphisms of semi-modular lattices (Q913834) (← links)
- Intermediaries and intervenients in normative systems (Q931780) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- The category of varieties and interpretations is alg-universal (Q995628) (← links)
- Groupoids with quasigroup and Latin square properties. (Q998383) (← links)
