|
VIDEO LIBRARY |
International workshop "Logical Models of Reasoning and Computation"
|
|||
|
The lattice of relational algebras definable in integers with successor Aleksei Semenova, Sergei Soprunovb a Moscow Institute of Open Education b Dorodnitsyn Computing Centre of the Russian Academy of Sciences |
|||
Language: English |