Pak Vadim Gennadyevich

Publications in Math-Net.Ru

1. An experimental computer program for automated reasoning in intuitionistic logic using the inverse method
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2015, no. 6(234),  70–80
2. Single-mode fiber-optic demultiplexer
   
   Kvantovaya Elektronika, 14:3 (1987),  623–624
3. Demultiplexer on the single-mode fiberoptic coupler
   
   Pisma v Zhurnal Tekhnicheskoi Fiziki, 12:23 (1986),  1457–1461