Pages that link to "Item:Q2988842"
From MaRDI portal
The following pages link to Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order (Q2988842):
Displayed 2 items.
The following pages link to Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order (Q2988842):
Displayed 2 items.