Projects per year
Fingerprint
Dive into the research topics where Петр Алексеевич Лозов is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Finished
-
RFBR_ASP_2019: Моделирование стратегий вычисления вызовов по необходимости в реляционных программах
1/10/19 → 30/09/21
Project: Grant fulfilment › Total grant fulfilment
Research output
-
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
-
Relational Interpreters for Search Problems.
Lozov, P., Verbitskay, E. & Булычев, Д. Ю., 2019, p. 43-57.Research output: Contribution to conference › Abstract
-
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
3 Scopus citations