Nadira Karimova

According to our database, Nadira Karimova authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Defining algorithmically presented structures in first order logic.

Nadim Kasymov, Nadira Karimova, Bakh Khoussainov

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024