Defining algorithmically presented structures in first order logic.

Nadim Kasymov, Nadira Karimova, Bakh Khoussainov

Browse the full LICS paper archive.