Login / Signup
Rumen D. Dimitrov
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 4
Top Topics
Closed Form
Linear Constraints
Distributive Lattices
Vector Space
Top Venues
CiE
J. Symb. Log.
Computability and Complexity
</>
Publications
</>