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

Research Output 2006 2018

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

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 outputpeer-review

Typed Relational Conversion

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

Research outputpeer-review

2006

BURS-based Instruction Set Selection

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

Research output