|
|
Publications in Math-Net.Ru |
Citations |
|
2015 |
1. |
I. S. Kalinina, S. S. Marchenkov, “On complexity of problem of satisfiability for systems of countable-valued functional equations”, Izv. Vyssh. Uchebn. Zaved. Mat., 2015, no. 8, 25–32 ; Russian Math. (Iz. VUZ), 59:8 (2015), 19–24 |
|
2014 |
2. |
I. S. Kalinina, “On some properties of FE-closure operator in countably valued logic”, University proceedings. Volga region. Physical and mathematical sciences, 2014, no. 4, 37–46 |
|
Organisations |
|
|