Livchak Alexandr Borisovich

Publications in Math-Net.Ru

1. The languages ${\rm PQL}$ and ${\rm FO}+{\rm LFP}$ are equivalent even without the presence of order
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1996, no. 4,  18–23
2. Polynomial computability
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1985, no. 1,  66–67
3. Formula subsets of the ordered group of integers
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 1977, no. 8,  105–107