Soprunov Sergei Fedorovich

Presentations in Math-Net.Ru

1. The lattice of relational algebras definable in integers with successor
   Aleksei Semenov, Sergei Soprunov
   International workshop "Logical Models of Reasoning and Computation"
   February 3, 2012 12:45