Pages that link to "Item:Q1575940"
From MaRDI portal
The following pages link to Star free expressions over the reals (Q1575940):
Displaying 7 items.
- Automata and logics over finitely varying functions (Q636272) (← links)
- A note on the expressibility problem for modal logics and star-free regular expressions (Q987808) (← links)
- First-order logic and star-free sets (Q1088982) (← links)
- Expressive completeness of duration calculus. (Q1854330) (← links)
- (Q4418622) (← links)
- A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS (Q5483372) (← links)
- On Expressive Power of Regular Expressions over Infinite Orders (Q5740199) (← links)