| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
The eighth International ņonference "Advances in Modal Logic" (AiML 2010)
|
|||
|
|
|||
|
Iterating model transformers: cycles and fixed points, paradoxes and learning Alexandru Baltag |
|||
|
Language: English |
|||