If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Physical and Mathematical Sciences, Candidate of Sciences

11 Mar 2005 → …

Fingerprint Dive into the research topics where Дмитрий Юрьевич Булычев is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Semantics Технические дисциплины и материаловедение
Dynamic programming Технические дисциплины и материаловедение
Printing Технические дисциплины и материаловедение
Layout Математика
Polynomial time Математика
Polynomials Технические дисциплины и материаловедение
Specifications Технические дисциплины и материаловедение
Rewriting Математика

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2019 2019

Research Output 2006 2018

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

Improving Refutational Completeness of Relational Search via Divergence Test

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

Research output

Computer programming languages
Semantics
Specifications

Typed Relational Conversion

Булычев, Д. Ю., Lozov, P. & Vyatkin, A., 19 Apr 2018, In : Lecture Notes in Computer Science. 10788, p. 39-58 19 p., 3.

Research output

Semantics
Correctness
Specification
Specifications
Subset
Dynamic programming
Printing
Layout
Polynomial time
Polynomials

BURS-based Instruction Set Selection

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

Research output