| Полное название | Rybakov M., Shkatov D. A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames // Advances in Modal Logic. V.12. Bern: College Publications, 2018. P.531-539. |
| Тип публикации | Статья в трудах конференции |
| Дата публикации | 01.01.1900 |
| Язык | Английский |
| URL | http://www.aiml.net/volumes/volume12/Rybakov-Shkatov.pdf |
| ISBN | 978-1-84890-255-8 |
| Идентификатор Scopus | 2-s2.0-85076499510 |
| Квартиль | S |
|
РИНЦ
Перечень ВАК
Web of Science
Scopus
Зарубежное издательство Научно-популярное издание |
|
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00