Dmitry Sustretov

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Formal Concepts

Multiresolution

Geometric Constraints

Quantum Computing

Top Venues

Ann. Pure Appl. Log.

Publications

Dmitry Sustretov
Generalised Imaginaries and Galois Cohomology. J. Symb. Log. 81 (3) (2016)
Vinesh Solanki, Dmitry Sustretov, Boris Zilber
The quantum harmonic oscillator as a Zariski geometry. Ann. Pure Appl. Log. 165 (6) (2014)
Dmitry Sustretov
Hybrid Logics of Separation Axioms. J. Log. Lang. Inf. 18 (4) (2009)
Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn
Experiments in Theorem Proving for Topological Hybrid Logic. Electron. Notes Theor. Comput. Sci. 231 (2009)
Balder ten Cate, David Gabelaia, Dmitry Sustretov
Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Log. 159 (1-2) (2009)