|
|
 |
2000 year Authors: Vereschagin N., Lyubetsky V.An algorithm of inferring RNA secondary structure. Proceedings of scientific workshop of the Logic Center of RAS, Issue 14, Moscow, RAS Press, 2000, p. 99-109. [in Russian]
|
|
2000 year Authors: Gorbunov K., Lyubetsky V.On an algorithm of detecting regulatory signal in sequence data. Logic research. Issue 7, Moscow, Nauka, 2000, p. 159-163. [in Russian]
|
|
2000 year Authors: V'yugin V., Gorbunov K., Lyubetsky V.Algorithms of detecting regulatory signal and constructing evolutionary trees. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 130-137. [in Russian]
|
|
2000 year Authors: Kusnetsov N., Lyubetsky V., Chernavsky A.On the concept of informational interaction, 1: pre-psychic bioinformatics. Proceedings of II international conference of the RAS «Issues in control and modeling in complex systems», Samara, 2000, RAS Press, p. 8-20. [in Russian]
|
|
1999 year Authors: Kanovei V.Non-wellfounded iterations of perfect set forcing.
J. Symbolic Logic, 1999, 64, 2, pp. 551--574.
Go to publication |
|
1999 year Authors: Kanovei V., Reeken M.A nonstandard proof of the Jordan curve theorem.
Real Analysis Exchange, 1999, 24, 1, pp. 161--170.
Go to publication |
|
1999 year Authors: Kanovei V., Reeken M.Special model axiom in nonstandard set theory.
Math. Logic Quarterly, 1999, 45, 3, pp. 371--384
Go to publication |
|
1999 year Authors: Kanovei V., Reeken M.Extension of standard models of ZFC to models of nonstandard Nelson"s set theory IST.
Math. Notes, 1999, 66, 2, pp. 160--166.
Go to publication |
|
1999 year Authors: Kuznetsov N., Lyubetsky V.“Computer Logic in Information Processes” Information transmission problems, RAS, V. 35, issue 2, 1999, p. 107-111. [in Russian]
Go to publication |
|
1999 year Authors: Lyubetsky V.“Logic models of informational interaction processes” Proceedings of I international conference of the RAS “Issues in control and modeling in complex systems”, Samara, 1999, p. 133-145. [in Russian]
|
|
1998 year Authors: Kanovei V.When a partial Borel order is Borel linearizable.
Fundamenta Mathematicae, 1998, 155, 3, pp. 301--309.
Go to publication |
|
1998 year Authors: Kanovei V., Reeken M.Elementary extensions of external classes in a nonstandard universe.
Studia Logica, 1998, 60, 2, pp. 253--273.
Go to publication |
|
1998 year Authors: Kanovei V., Zapletal J.Pyramidal structure of constructibility degrees.
Math. Notes, 1998, 63, 4, pp. 556--559.
Go to publication |
|
1998 year Authors: Kanovei V.Ulm classification of analytic equivalence relations in generic universes.
Math. Logic Quarterly, 1998, 44, 3, pp. 287--303.
Go to publication |
|
1998 year Authors: Kanovei V.On ``star"" schemata of Kossak and Paris,
Logic Colloquium "96,
Lecture Notes in Logic 12, Springer, 1998, pp. 101--114.
Go to publication |
|
1998 year Authors: Karnaukhov V., Miller B., Rubanov L., Merzlyakov N.S.Digital archives of manuscripts and photo-documents: technology and experience. // Proc. of International Conference EVA’98, Moscow 1 5 December 1998, STG, M., 1998, pp.5/1/1–5/1/9.
|
|
1998 year Authors: Karnaukhov V., Merzlyakov N.S., Rubanov L.Image processing and storage in digital archives of manuscripts and photo-documents. // Proc. of 5-th Open German-Russian Workshop on Pattern Recognition and Image Understanding (21-25 September 1998, Herrshing, Germany). Sankt Augustin: Infix, 1999. p.176-183.
|
|
1997 year Authors: Kanovei V., Reeken M.Mathematics in a nonstandard world, I.
Math. Japonica, 1997, vol. 45, 2, pp. 369--408.
Go to publication |
|
1997 year Authors: Kanovei V., Reeken M.Mathematics in a nonstandard world, II.
Math. Japonica, 1997, vol. 45, 3, pp. 555--571.
Go to publication |
|
1997 year Authors: Kanovei V.Non--Glimm--Effros equivalence relations at second projective level.
Fundamenta Mathematicae, 1997, 154, 1, pp. 1--35.
Go to publication |
|
1997 year Authors: Kanovei V., van Lambalgen M.On a Spector ultrapower of Solovay model.
Math. Logic Quarterly, 1997, 43, 2, pp. 389--395.
Go to publication |
|
1997 year Authors: Kanovei V.Two dichotomy theorems on colourability of non-analytic graphs.
Fundamenta Mathematicae, 1997, 154, 2, pp. 183--201.
Go to publication |
|
1997 year Authors: Kanovei V., Reeken M.Isomorphism property in nonstandard extensions of the ZFC universe.
Annals of Pure and Applied Logic, 1997, 88, pp. 1--25.
Go to publication |
|
1997 year Authors: Kanovei V.An Ulm--type classification theorem for equivalence relations in Solovay model.
J. Symbolic Logic, 1997, 62, 4, pp. 1333--1351.
Go to publication |
|
1997 year Authors: Lyubetsky V.“Transfer theorems and the algebra of modal operators”
Algebra and Logic,
1997, Vol. 36, No. 3, pp. 169–181.
Go to publication |
|
1996 year Authors: Kanovei V., Reeken M.Loeb measure from the point of view of coin flipping game.
Math. Logic Quarterly, 1996, 42, 1, pp. 19--26.
Go to publication |
|
1996 year Authors: Kanovei V., Reeken M.Internal approach to external sets and universes. 3. Partially saturated universes.
Studia Logica, 1996, 56, 3, pp. 293--322.
Go to publication |
|
1996 year Authors: Kanovei V.On external Scott algebras in nonstandard models of Peano arithmetic.
J. Symbolic Logic, 1996, 61, 2, pp. 586--608.
Go to publication |
|
|
|
|
|
