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

Research Output 2006 2018

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

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

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