Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements

DOI10.4204/eptcs.386.15arXiv2309.02760OpenAlexW4386399974MaRDI QIDQ6204135

Yoshiki Nakamura, Ryoma Sin'ya

Publication date: 9 April 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2309.02760

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• The equational theory of Kleene lattices
• On the equivalence, containment, and covering problems for the regular and context-free languages
• Notes on equational theories of relations
• Programming Techniques: Regular expression search algorithm
• The complexity of theorem-proving procedures
• Unnamed Item
• Unnamed Item

This page was built for publication: Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements