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

Research Output 2006 2018

  • 3 статья
  • 1 статья в сборнике
  • 1 статья в сборнике материалов конференции
Filter
статья в сборнике материалов конференции
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