Login / Signup
Petr Lozov
ORCID
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 2
Top Topics
Lambda Calculus
Pattern Matching
Boyer Moore
Relational Data
Top Venues
TFP
APLAS
</>
Publications
</>
Dmitry Kosarev
,
Petr Lozov
,
Dmitry Boulytchev
Relational Synthesis for Pattern Matching.
APLAS
(2020)
Petr Lozov
,
Andrei Vyatkin
,
Dmitry Boulytchev
Typed Relational Conversion.
TFP
(2017)