Can anyone help to find some information about these structures?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

All what I could found is a talk of Bakhadyr Khoussainov http://www.math.nsc.ru/conference/malmeet/11/plenary/2011MM_Khoussainov.ppt in which he considered "algorithmically finite universal algebras". Maybe this will useful for you. 

