Login / Signup
Dániel Somogyi
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Orders Of Magnitude
Binary Search Trees
Parallel Algorithm
Cost Function
Top Venues
Arch. Formal Proofs
</>
Publications
</>
Tobias Nipkow
,
Dániel Somogyi
Optimal Binary Search Trees.
Arch. Formal Proofs
2018 (2018)