Pages that link to "Item:Q5739893"
From MaRDI portal
The following pages link to Two-variable Logic with Counting and a Linear Order (Q5739893):
Displaying 4 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)
- Two variable logic with ultimately periodic counting (Q6573777) (← links)
