Login / Signup
Andrey Vyatkin
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Aggregate Functions
Formal Semantics
Technical Support
Programming Language Constructs
Top Venues
CoRR
APLAS
</>
Publications
</>
Dmitry Rozplokhas
,
Andrey Vyatkin
,
Dmitry Boulytchev
Certified Semantics for Relational Programming.
APLAS
(2020)
Dmitry Rozplokhas
,
Andrey Vyatkin
,
Dmitry Boulytchev
Certified Semantics for Relational Programming.
CoRR
(2020)