| RUS ENG |
| Full version |
|
|
|
| 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 |
|||