Pages that link to "Item:Q4659888"

The following pages link to Comparing the succinctness of monadic query languages over finite trees (Q4659888):

Displaying 2 items.

• On the succinctness of some modal logics (Q360052) (← links)
• On the expressive power of monadic least fixed point logic (Q817849) (← links)