The following pages link to (Q3731650):
Displayed 50 items.
- The partial clone of linear terms (Q345247) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
- Choice inclusive general rough semantics (Q632709) (← links)
- Nearlattices with an overriding operation (Q633219) (← links)
- Free objects and equational deduction for partial conditional specifications (Q673184) (← links)
- Programs in partial algebras (Q685398) (← links)
- Structural induction in institutions (Q719243) (← links)
- Equational type logic (Q752689) (← links)
- Local Lie semigroups and open embeddings into global topological semigroups (Q802764) (← links)
- First order theories for partial models (Q813079) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A syntactic congruence for languages of birooted trees (Q906981) (← links)
- Join epimorphisms which preserve certain lattice identities (Q922564) (← links)
- Unsolid and fluid strong varieties of partial algebras (Q933857) (← links)
- An encoding of partial algebras as total algebras (Q990084) (← links)
- HSP-type characterization of strong equational classes of partial algebras (Q1035840) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Weak varieties of partial algebras (Q1112080) (← links)
- Finitary spectral algebraic theories (Q1118682) (← links)
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets (Q1185017) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Algebraic transformation of unary partial algebras II: Single-pushout approach (Q1285664) (← links)
- Strong regular varieties of partial algebras (Q1319050) (← links)
- Mal'cev-type conditions for partial algebras (Q1333285) (← links)
- On the semilattice of inner extensions of a fuzzy partial algebra (Q1605091) (← links)
- The lattice of convexities of partial monounary algebras (Q1646610) (← links)
- Algebraic theory of quasivarieties of heterogeneous partial algebras (Q1770604) (← links)
- Quasi-varieties: A special access (Q1770610) (← links)
- On subdirectly irreducible OMAs (Q1770612) (← links)
- On some graph problem in the theory of partial algebras. I. (Q1827787) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- On Höft's characterization of weak model classes (Q1902531) (← links)
- Bialgebraic contexts for finite distributive lattices (Q1906530) (← links)
- Atomic varieties of sets with relative inverses (Q1907573) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- On linear exactness properties (Q2035813) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- The subalgebra lattice of a finite algebra (Q2248503) (← links)
- Hypergraphs induced by algebras of fixed type (Q2275397) (← links)
- Small orthomodular partial algebras. (Q2343035) (← links)
- On labeled birooted tree languages: algebras, automata and logic (Q2347808) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Generalized varieties (Q2366144) (← links)
- Sheaves of implicit operations in weak varieties of partial algebras (Q2366147) (← links)
- Algebraic characterization of conflict-free varieties of partial algebras (Q2366148) (← links)
- Partial algebras, meaning categories and algebraization (Q2368946) (← links)