Vol. 87 (1995): Ann. Sofia Univ. Fac. Math and Inf.

Articles

• Reduction of the domains of basic elementary functions to arbitrary small intervals

  Dimitar Shishkov

  3-32

  • PDF

• An application of the mathematical morphology methods in fuzzy sets theory

  Antony Popov

  33-46

  • PDF

• An external approach to abstract data types I: computability on abstract data type

  Alexandra Soskova

  47-59

  • PDF

• Characterization of the effective computability in $\mathfrak{f}$-enumerations

  Rumen Dimitrov

  61-72

  • PDF

• A solution to a problem of Fedorov-Grünbaum

  Nicola Martinov

  73-85

  • PDF

• On the Church-Rosser property and reducibility of natural derivations

  Chavdar Iliev

  87-97

  • PDF

• Generalized solutions of linear control systems

  Vladimir Chakalov

  99-111

  • PDF

• On the connection between the abstract recursion theory and the method of successive approximations

  Jordan Zashev

  113-128

  • PDF

• On two interval-arithmetic structures and their properties

  Svetoslav Markov

  129-164

  • PDF

• Two cut-free modal sequent calculi

  Andrei Arsov

  165-177

  • PDF

• Infinitesimal bendings of rotational surfaces with changing signs curvature

  Ivanka Ivanova-Karatopraklieva

  179-188

  • PDF

• Admissible functionals in abstract structures with arbitrary power

  Stela Nikolova

  189-201

  • PDF

• On the detection of some loops in recursive computations

  Dimiter Skordev

  203-222

  • PDF

• An example of a finite number of recursively enumerable $m$-degrees containing an infinite sequence of recursively enumerable sets

  Elka Bojkova

  223-234

  • PDF

• A note on intersection of modalities

  Tinko Tinchev

  235-240

  • PDF

• Representation of the reciprocal moments of linear combinations of independent exponential variates

  Mody Diallo, Tzvetan Ignatov

  241-248

  • PDF

• Cohomologies of countable unions of closed sets with applications to Cantor manifolds

  N. Khadzhiivanov, E. Šchepin

  249-255

  • PDF

• Classification of decomposable Manin triples and solutions of the classical Yang-Baxter equation

  Tony Pantev, Vasil Tsanov

  257-270

  • PDF

• On $K_{4}^{\prime}$-graphs

  Nikolaj Khadzhiivanov

  271-277

  • PDF

• A Borsuk-Ulman type theorem for $\mathbb{Z}_{4}$-actions

  Simeon Stefanov

  279-286

  • PDF

• Mapping theorems for cohomologically trivial maps

  Simeon Stefanov

  287-295

  • PDF

• Some situation theoretical notions

  Roussanka Loukanova, Robin Cooper

  297-306

  • PDF

• Code evaluation in operative spaces with storage operation

  Jordan Zashev

  307-326

  • PDF

• Movement of a rolling sphere on a horizontal cylinder

  Sonia Deneva

  329-336

  • PDF

• Stability of steady-state motions of systems of symmetric rigid bodies with ball-and-socket joints

  Nikolina Vasileva

  337-349

  • PDF

• On the distribution of thermal fluxes at friction to some tribomechanical systems

  Vassil Diamandiev

  351-367

  • PDF