Основные публикации Н.К. Верещагина по тематике Лаборатории 6 c 1999 года

Вернуться

  1. Верещагин Н.К., Шень А. Математическая логика и теория алгоритмов. Вычислимые функции. Изд-во Московского центра непрерывного математического образования. Москва, 1999, 174 стр.
  2. Верещагин Н.К., Шень А. Математическая логика и теория алгоритмов. Языки и исчисления. Изд-во Московского центра непрерывного математического образования. Москва, 2000, 274 стр.
  3. Vereshchagin N., Vyugin M. Independent minimum length programs to translate between given strings. Proc. of 15th Annual IEEE Conference on Computational Complexity, Florence, July 2000, р. 138-144.
  4. Romashchenko A., Shen A., Vereshchagin N. Combinatorial interpretation of Kolmogorov complexity. Proc. of 15th Annual IEEE Conference on Computational Complexity, Florence, July 2000, р. 131-137.
  5. Muchnik An., Vereshchagin N. Logical operations and kolmogorov complexity. Proc. of 16th annual IEEE Conference on Computational Complexity, Chicago, June 2001, p. 256-265.
  6. Vereshchagin N. and Vitanyi P. Kolmogorov's Structure Functions with an Application to the Foundations of Model Selection. Proc. 47th IEEE Symposium on Foundations of Computer Science (FOCS’02), 2002, p. 751-760.
  7. Chernov A.V., Skvortsov D.P., Skvortsova E.Z., Vereshchagin N.K. Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle. Proc. of the Annual Symposium on Computer Science Logic, Edinburgh, Scotland, UK, September 22-25, 2002, p. 74-88.
  8. Shen A., Vereshchagin N. Logical operations and Kolmogorov complexity. Theoretical Computer Science. 2002, v. 271, p. 125-129.
  9. Vereshchagin N. Kolmogorov Complexity Conditional to Large Integers. Theoretical Computer Science. 2002, v. 271, p. 59-67.
  10. Vereshchagin N., Vyugin M. Independent minimum length programs to translate between given strings. Theoretical Computer Science. 2002, v. 271, p. 131-143.
  11. Romashchenko A., Shen A., Vereshchagin N. Combinatorial interpretation of Kolmogorov complexity. Theoretical Computer Science. 2002, v. 271. p. 111-123.
  12. Верещагин Н.К., Скворцов Д.П., Скворцова Е.З., Чернов А.В. Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего. Математическая логика и алгебра. Сборник статей под редакцией Адяна С.И. К 100-летию со дня рождения акад. П.С. Новикова. Труды МИАН. 2003. Т. 242. С. 77-97.
  13. Mitina O., Vereshchagin N. How to use several noisy channels with unknown error probabilities. Information and Computation. 2003. V. 182. P. 229-241.
  14. Makarychev K., Makarychev Yu., Romashchenko A., Vereshchagin N. A New class of non Shannon type inequalities for entropies. Communications in Information and Systems. December 2002. V. 2. No 2. P. 147-166.

Вернуться