Pages that link to "Item:Q2915164"
From MaRDI portal
The following pages link to A Context-Free Linear Ordering with an Undecidable First-Order Theory (Q2915164):
Displayed 1 item.
The following pages link to A Context-Free Linear Ordering with an Undecidable First-Order Theory (Q2915164):
Displayed 1 item.