Lozov Peter Alekseevich

Dissertation submitted for the degree of candidate of physico-mathematical sciences Scientific speciality 2.3.5. Mathematical and software support for computers, complexes and computer networks Theme: Automated synthesis and efficient execution of relational programs Date & time: 08.11.2022, 15:00 Venue: St. Petersburg, Peterhof, Ulyanovskaya str. 1, Blue Hall