О финитной аппроксимируемости модальных логик конечной глубины
Autor: | Andrey Kudinov, Ilya Shapirovsky |
---|---|
Rok vydání: | 2016 |
Předmět: | |
Zdroj: | Uspekhi Matematicheskikh Nauk. 71:175-176 |
ISSN: | 2305-2872 0042-1316 |
DOI: | 10.4213/rm9686 |
Databáze: | OpenAIRE |
Externí odkaz: |