TY - JOUR AU - I. S. Kalinina AU - S. S. Marchenkov TI - On complexity of problem of satisfiability for systems of countable-valued functional equations JO - Izvestiâ vysših učebnyh zavedenij. Matematika PY - 2015 SP - 25 EP - 32 IS - 8 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IVM_2015_8_a2/ LA - ru ID - IVM_2015_8_a2 ER -