• 0 Citations by Pure records
  • 0 h-Index by Pure records
If you made any changes in Pure, your changes will be visible here soon.

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

Research Output 2006 2018

  • 3 Article
  • 1 Article in an anthology
  • 1 Conference contribution

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: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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 output: Contribution to journalArticleResearchpeer-review

Polynomial-Time Optimal Pretty-Printing Combinators with Choice

Podkopaev, A. & Boulytchev, D., 2015, In : Lecture Notes in Computer Science. 8974, p. 257-265

Research output: Contribution to journalArticleResearch

BURS-based Instruction Set Selection

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

Research output: Chapter in Book/Report/Conference proceedingArticle in an anthologyResearch