Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mccme.ru/dfc/2010/Program2/Gabryushkin_publications.pdf Дата изменения: Thu Oct 7 09:57:00 2010 Дата индексирования: Mon Feb 14 01:33:23 2011 Кодировка:

A.Gavryushkin's Publications
1. A New Spectrum of Computable Models, in preparation. 2. A. Gavryushkin, New Spectra of Computable Models, Book of Abstracts of LC 2010, 17-18, 2010. 3. A. Gavryushkin, Computable Limit Models, Programs, Proofs, Processes ­ CiE, 188-193, 2010. 4. A. Gavryushkin, On Constructive Models of Theories with Linear Rudin-Keisler Ordering, Bulletin of Symbolic Logic , 16, 01, 118-118, 2010. 5. A. Gavryushkin, On Constructive Models of Theories with Linear Rudin-Keisler Ordering, to appear in the Journal of Logic and Computation. 6. Computable Models of Ehrenfeucht Theories, Ph.D. Thesis, Novosibirsk, 2009. 7. A. Gavryushkin, On Constructive Models of Theories with Linear Rudin-Keisler Ordering, Logic Colloquium 2009, Abstracts, "St. Kliment Ohridski" University Press, Sofia University, Faculty of Mathematics and Informatics, 49-49, 2009. 8. A. Gavryushkin, On Constructive Models of Theories with Linear Rudin-Keisler Ordering, Vestnik NGU. Series: mathematics, mechanics, informatics, 9, 2, 30-37, 2009. 9. A. Gavryushkin, Computable Models Spectra of Ehrenfeucht Theories, Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008 Local Proceedings, University of Athens, 500-500, 2008. 10. A. Gavryushkin, Computable Models Spectra of Ehrenfeucht Theories, Logic Colloquium 2007, Book of Abstracts, Uniwersytet Wroclawski, 46-47, 2007. 11. A. Gavryushkin, Spectra of computable models for Ehrenfeucht theories, Algebra and Logic, 46, 3, 149-157, 2007. 12. A. Gavryushkin, On Complexity of Ehrenfeucht Theories with Computable Model, Logical Approaches to Computational Barriers (Second Conference on Computability in Europe), Report Series, Swansea University, 105-108, 2006. 13. A. Gavryushkin, Complexity of Ehrenfeucht models, Algebra and Logic, 45, 5, 289-295, 2006.