Pages that link to "Item:Q4630271"

The following pages link to Cobham's Theorem seen through Büchi's Theorem (Q4630271):

Displaying 2 items.

• On the factors of automatic words (Q1392016) (← links)
• The definable criterion for definability in Presburger arithmetic and its applications. (Q1401169) (← links)