• 0 всего цитирований публикаций, внесённых в Pure
  • 0 h-индекс по публикациям в Pure
20062020

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут показаны здесь.

Личный профиль

Образование/академическая квалификация

физико-математические науки, кандидат наук

11 мар 2005 → …

Дата присуждения гранта: 11 мар 2005

«Отпечаток» Узнайте самые подробные результаты анализа активности Дмитрий Юрьевич Булычев. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.

  • 1 похожих профилей - всего

Сотрудничество Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.

Проекты

  • 1 Всего завершенных проектов
  • 1 Всего активных проектов

Результаты исследований

  • 3 статья
  • 1 статья в сборнике
  • 1 статья в сборнике материалов конференции

Improving Refutational Completeness of Relational Search via Divergence Test

Булычев, Д. Ю. & Rozplokhas, D., 3 сен 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 20 стр.

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Typed Relational Conversion

    Булычев, Д. Ю., Lozov, P. & Vyatkin, A., 19 апр 2018, В : Lecture Notes in Computer Science. 10788, стр. 39-58 19 стр., 3.

    Результат исследований: Научные публикации в периодических изданияхстатья

  • Polynomial-Time Optimal Pretty-Printing Combinators with Choice

    Podkopaev, A. & Boulytchev, D., 2015, В : Lecture Notes in Computer Science. 8974, стр. 257-265

    Результат исследований: Научные публикации в периодических изданияхстатья

  • BURS-based Instruction Set Selection

    Булычев, Д. Ю., 2006, 4th International Conference on Perspectives of System Informatics, PSI'06 - 2006. Springer Nature, стр. 431-437

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборникенаучная