The following pages link to (Q3820590):
Displaying 5 items.
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- Linear orders with distinguished function symbol (Q1005923) (← links)
- Algorithmic dimensions of homomorphic images of models (Q1317614) (← links)
- Recursive unary algebras and trees (Q1326781) (← links)
- Learning algebraic structures from text (Q5958647) (← links)
