Skip to content
<title>Channels - Generalizing determinization from automata to coalgebras :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Generalizing determinization from automata to coalgebras
Search for more channels:
Similar Items: Generalizing determinization from automata to coalgebras
Channel Options
View Record
Explore related channels
Quick Look
Coalgebraic Automata Theory: Basic Results
Quick Look
Coalgebras for Bisimulation of Weighted Automata over Semirings
Quick Look
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Quick Look
Bases as Coalgebras
Quick Look
Well-Pointed Coalgebras
Quick Look
Rational streams coalgebraically
Quick Look
Coalgebraic Behavioral Metrics
Quick Look
Duality for powerset coalgebras
Quick Look
Exact and Approximate Determinization of Discounted-Sum Automata
Quick Look
Non-Deterministic Kleene Coalgebras
Quick Look
Relating coalgebraic notions of bisimulation
Quick Look
Conway games, algebraically and coalgebraically
Quick Look
Completeness for the coalgebraic cover modality
Quick Look
Strongly Complete Logics for Coalgebras
Quick Look
Positive fragments of coalgebraic logics
Quick Look
Moss' logic for ordered coalgebras
Quick Look
Coalgebraic Characterizations of Context-Free Languages
Quick Look
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Quick Look
Coalgebraic Infinite Traces and Kleisli Simulations
Quick Look
Efficient and Modular Coalgebraic Partition Refinement
Quick Look
Coalgebraic Semantics for Probabilistic Logic Programming
Quick Look
Coalgebraic Geometric Logic: Basic Theory
Quick Look
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Quick Look
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Load more items
View Record
Prev
Explore related channels
Next
