Disambiguation evidence for Decidability and definability in first-order theories of real addition with order via surface form
"Decidability and definability in first-order theories of real addition with order"
Triples (1)
Triples where some other subject referred to this entity
as "Decidability and definability in first-order theories of real addition with order".
Robert Shostak
→
doctoralThesis
→
"Decidability and definability in first-order theories of real addition with order"
ⓘ