Star free expressions over the reals

DOI10.1016/S0304-3975(98)00050-4zbMath0953.68075OpenAlexW2060615763MaRDI QIDQ1575940

Alexander Rabinovich

Publication date: 23 August 2000

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(98)00050-4

zbMATH Keywords

star free expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items

Automata and logics over finitely varying functions ⋮ On Expressive Power of Regular Expressions over Infinite Orders ⋮ A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS ⋮ Expressive completeness of duration calculus.

Cites Work

• First-order logic and star-free sets
• Non-elementary lower bound for Propositional Duration Calculus
• Classifying regular events in symbolic logic
• A calculus of durations
• Star-free regular sets of ω-sequences
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Star free expressions over the reals