Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Lozov, Pyotr Alekseyevich
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Presentations: 1

Number of views:
This page:117
Abstract pages:146
Full texts:119
References:21

https://www.mathnet.ru/eng/person138813
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2018
1. P. Lozov, D. Boulytchev, “Conversion typed functions into relational form”, Proceedings of ISP RAS, 30:2 (2018),  45–64  mathnet  elib

Presentations in Math-Net.Ru
1. Relational Solver for Java Generics Type System
P. A. Lozov
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
December 15, 2023 14:00

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024