A survey on the local divisor technique
From MaRDI portal
Publication:896673
DOI10.1016/j.tcs.2015.07.008zbMath1332.68147arXiv1410.6026OpenAlexW1487309160MaRDI QIDQ896673
Manfred Kufleitner, Volker Diekert
Publication date: 10 December 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.6026
Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Temporal logic (03B44)
Related Items
A Lyndon's identity theorem for one-relator monoids, Parikh-reducing Church-Rosser representations for some classes of regular languages, Characterizing classes of regular languages using prefix codes of bounded synchronization delay, Unnamed Item
Cites Work
- Star-free languages are Church-Rosser congruential
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces
- Factorization forests of finite height
- LTL is expressively complete for Mazurkiewicz traces
- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
- On factorization forests of finite height
- Omega-rational expressions with bounded synchronization delay
- The Krohn-Rhodes Theorem and Local Divisors
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
- The Height of Factorization Forests
- Church-Rosser Thue systems and formal languages
- On finite monoids having only trivial subgroups
- Linear Temporal Logic for Regular Cost Functions
- Codes with bounded synchronization delay
- Regular Languages Are Church-Rosser Congruential
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
