1 - 3 out of 3Page size: 10
  1. 2020

  2. Relational Synthesis for Pattern Matching

    Kosarev, D., Lozov, P. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 293-310 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  3. 2019

  4. Relational Interpreters for Search Problems.

    Lozov, P., Verbitskay, E. & Булычев, Д. Ю., 2019, p. 43-57.

    Research output: Contribution to conference › Abstract

  5. 2018

  6. Typed Relational Conversion

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

ID: 13808602