Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability

Aleksander Ivanov. Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability. Math. Log. Q., 67(1):43-58, 2021. [doi]

Authors

Aleksander Ivanov

This author has not been identified. Look up 'Aleksander Ivanov' in Google