1 - 2 из 2Размер страницы: 10
Сортировать по:: Год публикации
  1. 2020

  2. Certified Semantics for Relational Programming

    Rozplokhas, D., Vyatkin, A. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ред.). Springer Nature, стр. 167-185 19 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12470 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  3. 2018

  4. Typed Relational Conversion

    Lozov, P., Vyatkin, A. & Boulytchev, D., 19 апр 2018, Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Springer Nature, стр. 39-58 19 стр. (Lecture Notes in Computer Science; том 10788).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

ID: 222966