Login / Signup
Bohdan Liesnikov
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Subgroup Discovery
Databases
Functional Programs
Multiscale
Top Venues
CoRR
</>
Publications
</>
Bohdan Liesnikov
,
Marcel Ullrich
,
Yannick Forster
Generating induction principles and subterm relations for inductive types using MetaCoq.
CoRR
(2020)