Tome 87

Reduction of the domains of basic elementary functions to arbitrary small intervals, Shishkov, Dimitar , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.3-32, (1995)PDF icon 87-003-032.pdf (4.97 MB)
An application of the mathematical morphology methods in fuzzy sets theory, Popov, Antony , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.33-46, (1995)PDF icon 87-033-046.pdf (2.26 MB)
An external approach to abstract data types I: computability on abstract data type, Soskova, Alexandra , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.47-59, (1995)PDF icon 87-047-059.pdf (2.27 MB)
Characterization of the effective computability in $\mathfrak{f}$-enumerations, Dimitrov, Rumen , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.61-72, (1995)PDF icon 87-061-072.pdf (1.78 MB)
A solution to a problem of Fedorov-Grünbaum, Martinov, Nicola , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.73-85, (1995)PDF icon 87-073-085.pdf (1.98 MB)
On the Church-Rosser property and reducibility of natural derivations, Iliev, Chavdar , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.87-97, (1995)PDF icon 87-087-097.pdf (1.9 MB)
Generalized solutions of linear control systems, Chakalov, Vladimir , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.99-111, (1995)PDF icon 87-099-111.pdf (1.26 MB)
On the connection between the abstract recursion theory and the method of successive approximations, Zashev, Jordan , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.113-128, (1995)PDF icon 87-113-128.pdf (2.61 MB)
On two interval-arithmetic structures and their properties, Markov, Svetoslav , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.129-164, (1995)PDF icon 87-129-164.pdf (6.53 MB)
Two cut-free modal sequent calculi, Arsov, Andrei , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.165-177, (1995)PDF icon 87-165-177.pdf (1.84 MB)
Infinitesimal bendings of rotational surfaces with changing signs curvature, Ivanova-Karatopraklieva, Ovanka , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.179-188, (1995)PDF icon 87-179-188.pdf (1.72 MB)
Admissible functionals in abstract structures with arbitrary power, Nikolova, Stela , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.189-201, (1995)PDF icon 87-189-201.pdf (2.38 MB)
On the detection of some loops in recursive computations, Skordev, Dimiter , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.203-222, (1995)PDF icon 87-203-222.pdf (3.79 MB)
An example of a finite number of recursively enumerable $m$-degrees containing an infinite sequence of recursively enumerable sets, Bojkova, Elka , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.223-234, (1995)PDF icon 87-223-234.pdf (1.97 MB)
A note on intersection of modalities, Tinchev, Tinko , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.235-240, (1995)PDF icon 87-235-240.pdf (994.92 KB)
Representation of the reciprocal moments of linear combinations of independent exponential variates, Diallo, Mody, and Ignatov Tzvetan , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.241-248, (1995)PDF icon 87-241-248.pdf (895.39 KB)
Cohomologies of countable unions of closed sets with applications to Cantor manifolds, Khadzhiivanov, N., and Šchepin E. , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.249-255, (1995)PDF icon 87-249-255.pdf (1.07 MB)
Classification of decomposable Manin triples and solutions of the classical Yang-Baxter equation, Pantev, Tony, and Tsanov Vasil , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.257-270, (1995)PDF icon 87-257-270.pdf (2.23 MB)
On $K_{4}^{\prime}$-graphs, Khadzhiivanov, Nikolaj , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.271-277, (1995)PDF icon 87-271-277.pdf (1006.04 KB)
A Borsuk-Ulman type theorem for $\mathbb{Z}_{4}$-actions, Stefanov, Simeon , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.279-286, (1995)PDF icon 87-279-286.pdf (1.18 MB)
Mapping theorems for cohomologically trivial maps, Stefanov, Simeon , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.287-295, (1995)PDF icon 87-287-295.pdf (1.42 MB)
Some situation theoretical notions, Loukanova, Roussanka, and Cooper Robin , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.297-306, (1995)PDF icon 87-297-306.pdf (1.86 MB)
Code evaluation in operative spaces with storage operation, Zashev, Jordan , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 1 - Mathématiques, p.307-326, (1995)PDF icon 87-307-326.pdf (3.73 MB)
Movement of a rolling sphere on a horizontal cylinder, Deneva, Sonia , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 2 - Mécanique, p.329-336, (1995)PDF icon 87-329-336.pdf (851.02 KB)
Stability of steady-state motions of systems of symmetric rigid bodies with ball-and-socket joints, Vasileva, Nikolina , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 2 - Mécanique, p.337-349, (1995)PDF icon 87-337-349.pdf (1.89 MB)
On the distribution of thermal fluxes at friction to some tribomechanical systems, Diamandiev, Vassil , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 87, Issue Livre 2 - Mécanique, p.351-367, (1995)PDF icon 87-351-367.pdf (1.97 MB)