Zhou Juan

Publications in Math-Net.Ru

1. Algorithm for extraction common properties of objects described in the predicate calculus language with a single predicate symbol
   
   Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 11:4 (2024),  733–743