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

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

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

  • 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

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

Компонентизация языковых процессоров на основе расширяемых типов данных и управляемых ими преобразователей

Булычев, Д. Ю., 2012, В : СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 7, 1, стр. 69-89

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

BURS-based Instruction Set Selection

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

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