Rumen D. Dimitrov

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 4

Top Topics

Linear Constraints

Distributive Lattices

Top Venues

Computability and Complexity

Publications

Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
On Cohesive powers of linear Orders. J. Symb. Log. 88 (3) (2023)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
Cohesive Powers of Linear Orders. CiE (2019)
Rumen D. Dimitrov, Valentina S. Harizanov
The Lattice of Computably Enumerable Vector Spaces. Computability and Complexity (2017)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra. CiE (2016)
Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad
Isomorphisms of Non-Standard Fields and Ash's Conjecture. CiE (2014)
Rumen D. Dimitrov
). Arch. Math. Log. 47 (2) (2008)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov
Dependence relations in computably rigid computable vector spaces. Ann. Pure Appl. Log. 132 (1) (2005)
Rumen D. Dimitrov
Quasimaximality and principal filters isomorphism between. Arch. Math. Log. 43 (3) (2004)