Login / Signup
Anja Petkovic
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Search Space
Expectation Maximization
K Means
Optimization Algorithm
Top Venues
CoRR
ICMS
</>
Publications
</>
Andrej Bauer
,
Anja Petkovic
An extensible equality checking algorithm for dependent type theories.
CoRR
(2021)
Andrej Bauer
,
Philipp G. Haselwarter
,
Anja Petkovic
Equality Checking for General Type Theories in Andromeda 2.
ICMS
(2020)