Vladimir A. Uspensky

Publication Activity (10 Years)

Years Active: 1979-2014
Publications (10 Years): 0

Top Topics

Recent Developments

Database Systems

Propositional Logic

Top Venues

Publications

Alexei L. Semenov, Sergey Soprunov, Vladimir A. Uspensky
The Lattice of Definability. Origins, Recent Developments, and Further Directions. CSR (2014)
Bruno Durand, Vladimir Kanovei, Vladimir A. Uspensky, Nikolai K. Vereshchagin
Do stronger definitions of randomness exist? Theor. Comput. Sci. 290 (3) (2003)
Andrei A. Muchnik, Alexei L. Semenov, Vladimir A. Uspensky
Mathematical Metaphysics of Randomness. Theor. Comput. Sci. 207 (2) (1998)
Vladimir A. Uspensky, Alexander Shen
Relations Between Varieties of Kolmogorov Complexities. Math. Syst. Theory 29 (3) (1996)
Vladimir A. Uspensky
Kolmogorov Complexity: Recent Research in Moscow. MFCS (1996)
Vladimir A. Uspensky
Gödel's Incompleteness Theorem. Theor. Comput. Sci. 130 (2) (1994)
Vladimir A. Uspensky
Kolmogorov and Mathematical Logic. J. Symb. Log. 57 (2) (1992)
Vladimir A. Uspensky, Alexei L. Semenov
What are the gains of the theory of algorithms: Basis developments connected with the concept of algorithm and with its application in mathematics. Algorithms in Modern Mathematics and Computer Science (1979)