Stefan V. Vatev

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 7

Top Topics

Algebraic Structures

Top Venues

J. Log. Comput.

Publications

Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev
Learning Families of Algebraic Structures from Text. CiE (2024)
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)
Julia F. Knight, Alexandra A. Soskova, Stefan V. Vatev
Coding in graphs and linear Orderings. J. Symb. Log. 85 (2) (2020)
Nikolay Bazhenov, Stefan V. Vatev
A Note on Computable Embeddings for Ordinals and Their Reverses. CiE (2020)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
Cohesive Powers of Linear Orders. CiE (2019)
Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev
Effective Embeddings for Pairs of Structures. CiE (2019)
Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev
Strong jump inversion. J. Log. Comput. 28 (7) (2018)
Stefan V. Vatev
Another Jump Inversion Theorem for Structures. CiE (2013)
Stefan V. Vatev
Conservative Extensions of Abstract Structures. CiE (2011)