Yury Savateev
发表
Yury Savateev,
2006
.
B. Konev,
F. Wolter,
M. Zakharyaschev,
2022,
KR.
Daniyar S. Shamkanov,
Yury Savateev,
2018,
The Review of Symbolic Logic.
Daniyar S. Shamkanov,
Yury Savateev,
2018
.
B. Konev,
F. Wolter,
M. Zakharyaschev,
2022
.
Yury Savateev,
Yury Savateev,
2010,
Theory of Computing Systems.
B. Konev,
F. Wolter,
M. Zakharyaschev,
2023,
ArXiv.
Michael Zakharyaschev,
Vladislav Ryzhikov,
Yury Savateev,
2020,
Description Logics.
M. Zakharyaschev,
V. Ryzhikov,
Yury Savateev,
2020,
Description Logics.
Daniyar S. Shamkanov,
Yury Savateev,
2018,
1804.01432.
Daniyar S. Shamkanov,
Yury Savateev,
Yury Savateev,
2017,
WoLLIC.
Daniyar S. Shamkanov,
Yury Savateev,
Yury Savateev,
2019,
WoLLIC.
Michael Zakharyaschev,
Vladislav Ryzhikov,
Agi Kurucz,
2021,
RAMiCS.
Yury Savateev,
Yury Savateev,
2009,
Ann. Pure Appl. Log..