Pages that link to "Item:Q805240"

The following pages link to On the expressive power of temporal logic for infinite words (Q805240):

Displaying 3 items.

• Logic over words on denumerable ordinals (Q1604197) (← links)
• Logic, semigroups and automata on words (Q1817074) (← links)
• From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions (Q2215841) (← links)