Old Web
English
Sign In
Acemap
>
authorDetail
>
Bohdan Liesnikov
Bohdan Liesnikov
Mathematics
Plug-in
Syntax
Discrete mathematics
1
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Generating induction principles and subterm relations for inductive types using MetaCoq.
2020
arXiv: Logic in Computer Science
Bohdan Liesnikov
Marcel Ullrich
Yannick Forster
Show All
Source
Cite
Save
Citations (1)
1