Andrey Sariev

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 2

Top Topics

Propositional Logic

Top Venues

Math. Struct. Comput. Sci.

Arch. Math. Log.

Ann. Pure Appl. Log.

Document Analysis Systems

Publications

Hristo Ganchev, Andrey Sariev
The automorphism group and definability of the jump operator in the ømega-enumeration degrees. Arch. Math. Log. 60 (7) (2021)
Hristo Ganchev, Andrey Sariev
Definability in the local structure of the ω-Turing degrees. Math. Struct. Comput. Sci. 29 (7) (2019)
Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev
Flexible Noisy Text Correction. Document Analysis Systems (2014)
Andrey Sariev, Hristo Ganchev
The ω-Turing degrees. Ann. Pure Appl. Log. 165 (9) (2014)