Skip to content
<title>Channels - Varieties of unary-determined distributive $ell$-magmas and bunched implication algebras :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Varieties of unary-determined distributive $ell$-magmas and bunched implication algebras
Search for more channels:
Similar Items: Varieties of unary-determined distributive $ell$-magmas and bunched implication algebras
Channel Options
View Record
Explore related channels
Quick Look
Unary negation
Quick Look
Hopf and Lie algebras in semi-additive Varieties
Quick Look
Two-Way Unary Temporal Logic over Trees
Quick Look
A Dichotomy for First-Order Reducts of Unary Structures
Quick Look
On Presburger arithmetic extended with non-unary counting quantifiers
Quick Look
Distribution Bisimilarity via the Power of Convex Algebras
Quick Look
Aspects of algebraic Algebras
Quick Look
Algebraic Language Theory for Eilenberg--Moore Algebras
Quick Look
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
Elgot Algebras
Quick Look
Overlap Algebras: a Constructive Look at Complete Boolean Algebras
Quick Look
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Quick Look
A note on the parameter $ell$ in Buchbinder--Feldman's deterministic submodular matroid algorithm
Quick Look
Locality and Centrality: The Variety ZG
Quick Look
Algebraic Notions of Termination
Quick Look
Epistemic Updates on Algebras
Quick Look
Handling Algebraic Effects
Quick Look
Inferring Algebraic Effects
Quick Look
Regular Tree Algebras
Quick Look
Conway games, algebraically and coalgebraically
Quick Look
Formal Theories for Linear Algebra
Quick Look
Deciding Kleene Algebras in Coq
Quick Look
Algebraic Structure of Combined Traces
Quick Look
Disjoint-union partial algebras
Load more items
View Record
Prev
Explore related channels
Next
