ИСТИНА

Конев Борис Юрьевич

Соавторы: Wolter F., Захарьящев М.В., Кончаков Р.В.

3 статьи, 1 членство в редколлегии сборника

IstinaResearcherID (IRID): 19656115

Деятельность

• Статьи в журналах

  • • 2001 Верхняя оценка высоты термов в выводах с сечениями по формулам ограниченной глубины связанных вхождений
    • Конев Борис Юрьевич
    • в журнале Записки научных семинаров Санкт-Петербургского отделения математического института им. В.А. Стеклова РАН, издательство Учреждение Российской академии наук Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН (Санкт-Петербург), том 277, с. 80-103
  • • 1997 Уточнение оценок высоты термов в наиболее общем унификаторе
    • Конев Борис Юрьевич
    • в журнале Записки научных семинаров Санкт-Петербургского отделения математического института им. В.А. Стеклова РАН, издательство Учреждение Российской академии наук Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН (Санкт-Петербург), том 241, с. 117-134

• Статьи в сборниках

  • • 2006 Dynamic topological logics over spaces with continuous functions
    • Konev Boris, Kontchakov Roman, Wolter Frank, Zakharyaschev Michael
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 299-318

• Участие в редколлегии сборников

  • • 2006 Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
    • член редколлегии: Конев Б.Ю.
    • серия Lecture Notes in Computer Science, том 4160
    • место издания Springer Berlin Heidelberg