Pages that link to "Item:Q3599141"
From MaRDI portal
The following pages link to Succinctness of Regular Expressions with Interleaving, Intersection and Counting (Q3599141):
Displayed 4 items.
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- Provably Shorter Regular Expressions from Deterministic Finite Automata (Q3533026) (← links)
- Tight Bounds on the Descriptional Complexity of Regular Expressions (Q3637232) (← links)
- Regular Expressions with Counting: Weak versus Strong Determinism (Q5895105) (← links)