Полный текст публикации: Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL

Полный текст не загружен, но возможно он доступен по одной из следующих ссылок:

  1. DOI 10.1007/978-3-540-69407-6_4 (переход на страницу публикации на сайте издателя)
  2. РИНЦ (eLIBRARY.RU) (справа ссылка «Загрузить полный текст»)
  3. Scopus (вверху ссылка «Скачать»)
  4. Web of Science Core Collection (вверху кнопка «Полный текст от издателя») (если при открытии ссылки возникла ошибка, то попробуйте открыть ссылку повторно)
  5. Поиск в Академии Google

Вернуться на страницу публикации