Logic in Computer Science
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

Поиск публикаций
Поиск ссылок

RSS
Текущие выпуски
Архивные выпуски
Что такое RSS






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Logic in Computer Science, 2015, страницы 317–328
DOI: https://doi.org/10.1109/LICS.2015.38
(Mi lics1)
 

Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)

Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results

Meghyn Bienvenua, Stanislav Kikotbc, Vladimir V. Podolskiide

a Laboratoire de Recherche en Informatique, CNRS & Université Paris-Sud, Orsay, France
b Institute for Information Transmission Problems, Moscow, Russia
c MIPT, Moscow, Russia
d Steklov Mathematical Institute, Moscow, Russia
e National Research University Higher School of Economics, Moscow, Russia
Финансовая поддержка Номер гранта
Agence Nationale de la Recherche 12-JS02-007-01
Российский фонд фундаментальных исследований
Министерство образования и науки Российской Федерации
Российский научный фонд 14-50-00150
M. Bienvenu was supported by the ANR (project 12-JS02-007-01), and V. Podolskii by the Russian Foundation for Basic Research and the programme "Leading Scientific Schools". S. Kikot carried out his research at IITP at the expense of the Russian Foundation for Sciences (project No. 14-50-00150).
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/lics1
  • Эта публикация цитируется в следующих 6 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:176
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024