Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Kleene theorems for lasso languages and -languages

From MaRDI portal
Publication:6636074
Jump to:navigation, search

DOI10.1007/978-981-97-2340-9_10MaRDI QIDQ6636074FDOQ6636074


Authors: Mike Cruchten Edit this on Wikidata


Publication date: 12 November 2024






zbMATH Keywords

Kleene theorem\( \omega \)-languageslasso languages


Mathematics Subject Classification ID

Theory of computing (68Qxx)


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6636074&oldid=40204992"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 February 2025, at 19:31. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki