Login / Signup
Mike Cruchten
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Probabilistic Automata
Language Independent
Linguistic Resources
Expressive Power
Top Venues
CoRR
TAMC
</>
Publications
</>
Mike Cruchten
Kleene Theorems for Lasso Languages and ω-Languages.
CoRR
(2024)
Mike Cruchten
On Transition Constructions for Automata - A Categorical Perspective.
CoRR
(2024)
Mike Cruchten
Kleene Theorems for Lasso Languages and ømega-Languages.
TAMC
(2024)