Skip to content
Channels - Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
Search for more channels:
Similar Items: Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
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
Synthesis of Data Word Transducers
Quick Look
Coinductive Streams in Monoidal Categories
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
Concurrent Process Histories and Resource Transducers
Quick Look
Simulation by Rounds of Letter-to-Letter Transducers
Quick Look
A Monoidal View on Fixpoint Checks
Quick Look
A Categorical Approach to Syntactic Monoids
Quick Look
Extended Stone Duality via Monoidal Adjunctions
Quick Look
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Quick Look
Tameness and the power of programs over monoids in DA
Quick Look
One-way definability of two-way word transducers
Quick Look
Continuity of Functional Transducers: A Profinite Study of Rational Functions
Quick Look
Efficient Evaluation of Arbitrary Relational Calculus Queries
Quick Look
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
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
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
Quick Look
Decision problems for linear recurrences involving arbitrary real numbers
Quick Look
Non-Deterministic Kleene Coalgebras
Quick Look
History-deterministic Timed Automata
Quick Look
Multi-Frequency Coded ARFI Imaging of Porcine Eye Using Polarization-Inversion Piezocomposite Transducer
Quick Look
The Wadge Hierarchy of Deterministic Tree Languages
Load more items
View Record
Prev
Explore related channels
Next