1. Главная
  2. Полный текст публикации: Branching time logics BT L U,SN,N-1 ()? with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms : научное издание

Полный текст публикации: Branching time logics BT L U,SN,N-1 ()? with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms : научное издание

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

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

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