Pages that link to "Item:Q5739893"

The following pages link to Two-variable Logic with Counting and a Linear Order (Q5739893):

Displaying 3 items.

• ``Most of'' leads to undecidability: failure of adding frequencies to LTL (Q2233396) (← links)
• Two-Variable Logic with Counting and Trees (Q5278191) (← links)
• A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)