Kleene theorems for lasso languages and -languages
From MaRDI portal
Publication:6636074
DOI10.1007/978-981-97-2340-9_10MaRDI QIDQ6636074FDOQ6636074
Authors: Mike Cruchten
Publication date: 12 November 2024
Cites Work
- Derivatives of Regular Expressions
- A completeness theorem for Kleene algebras and the algebra of regular events
- On syntactic congruences for \(\omega\)-languages
- Learning regular omega languages
- STATE COMPLEXITY AND THE MONOID OF TRANSFORMATIONS OF A FINITE SET
- Ultimately periodic words of rational ω-languages
- Title not available (Why is that?)
- Families of DFAs as Acceptors of omega-Regular Languages
- A coalgebraic decision procedure for NetKAT
- Concurrent Kleene algebra: free model and completeness
- Title not available (Why is that?)
This page was built for publication: Kleene theorems for lasso languages and \(\omega \)-languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6636074)