Lozov Pyotr Alekseyevich

Publications in Math-Net.Ru

1. Conversion typed functions into relational form
   
   Proceedings of ISP RAS, 30:2 (2018),  45–64