|
ВИДЕОТЕКА |
Международная конференция «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 |
|||
Язык доклада: английский |