Pavlov Vladimir Aleksandrovich

Publications in Math-Net.Ru

1. Efficient implementation of the inverse method for first-order intuitionistic logic
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:1 (2017),  49–62
2. 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