Kotikova Ekaterina Aleksandrovna

Publications in Math-Net.Ru

1. Modeling arithmetic in the first-order language enriched with temporal quantifiers
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2016, no. 4,  5–19