Cenzer, Douglas; Csima, Barbara F.; Khoussainov, Bakhadyr Linear orders with distinguished function symbol. (English) Zbl 1162.03019 Arch. Math. Logic 48, No. 1, 63-76 (2009). Reviewer: Antonio Montalban (Chicago) MSC: 03C57 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Cenzer, Douglas (ed.); Harizanov, Valentina (ed.); Marker, David (ed.); Wood, Carol (ed.) Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5–10, 2007. (English) Zbl 1157.03302 Arch. Math. Logic 48, No. 1, 1-140 (2009). MSC: 03-06 03Cxx 00B25 × Cite Format Result Cite Review PDF Full Text: Link
Stephan, F.; Ventsov, Y. Learning algebraic structures from text. (English) Zbl 0983.68156 Theor. Comput. Sci. 268, No. 2, 221-273 (2001). MSC: 68T05 × Cite Format Result Cite Review PDF Full Text: DOI
Khoussainov, Bakhadyr Recursive unary algebras and trees. (English) Zbl 0804.03031 Ann. Pure Appl. Logic 67, No. 1-3, 213-268 (1994). Reviewer: R.Downey (Wellington) MSC: 03D45 08A60 03C57 × Cite Format Result Cite Review PDF Full Text: DOI
Khusainov, B. M. Algorithmic dimensions of homomorphic images of models. (English. Russian original) Zbl 0795.03047 Algebra Logic 31, No. 3, 195-203 (1992); translation from Algebra Logika 31, No. 3, 319-333 (1992). MSC: 03C57 × Cite Format Result Cite Review PDF Full Text: DOI