Skip to content
<title>Channels - Tameness and the power of programs over monoids in DA :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Tameness and the power of programs over monoids in DA
Search for more channels:
Similar Items: Tameness and the power of programs over monoids in DA
Channel Options
View Record
Explore related channels
Quick Look
Monoidal Width
Quick Look
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
Coinductive Streams in Monoidal Categories
Quick Look
A Categorical Approach to Syntactic Monoids
Quick Look
A Monoidal View on Fixpoint Checks
Quick Look
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Quick Look
Extended Stone Duality via Monoidal Adjunctions
Quick Look
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
Quick Look
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
Quick Look
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Quick Look
Tameness in least fixed-point logic and McColm's conjecture
Quick Look
A Strategy for Dynamic Programs: Start over and Muddle through
Quick Look
Expressivity of AuDaLa: Turing Completeness and Possible Extensions
Quick Look
MeDUSA: Taming your metabolic datasets using an R-package for data processing of Direct Infusion Untarged Single-cell Analysis
Quick Look
ResiHP: Taming LLM Training Failures with Dynamic Hybrid
Quick Look
Preserving Long-Term Access to Decommissioned Database Systems With Immortal Database Access (iDA)
Quick Look
Taming Request Imbalance: SLO-Aware Scheduling for Disaggregated LLM Inference
Quick Look
RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains
Quick Look
Taming Outlier Tokens in Diffusion Transformers
Quick Look
Taming diffusion model for exemplar-based image translation
Quick Look
Taming the Generative AI Wild West: Integrating Knowledge Graphs in Digital Library Systems
Quick Look
Program Logics for Homogeneous Generative Run-Time Meta-Programming
Quick Look
Quantifying over Boolean announcements
Load more items
View Record
Prev
Explore related channels
Next
