TY  - JOUR
AU  - S. Ospichev
AU  - D. Ponomarev
TI  - On the complexity of formulas in semantic programming
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2018
SP  - 987
EP  - 995
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2018_15_a24/
LA  - en
ID  - SEMR_2018_15_a24
ER  -