Vol. 92 (2000): Ann. Sofia Univ. Fac. Math and Inf.

Articles

• Characterization of the structures which admit effective enumerations

  Angel Ditchev

  7-16

  • PDF

• Variations of Hodge structure, expressed by meromorphic differentials on the projective plane

  Azniv Kasparian

  17-30

  • PDF

• A semantics of logic programs without searching

  Vessela Baleva

  31-48

  • PDF

• Definability via partial enumerations with semicomputable codomains

  Stela Nikolova

  49-63

  • PDF

• On the subplanes of the Hughes planes of odd square prime order

  Assia Rousseva

  65-72

  • PDF

• The SLRS synchronous imperative programming language

  Magdalina Todorova

  75-86

  • PDF

• Direct construction of minimal acyclic finite states automata

  Stoyan Mihov

  87-104

  • PDF

• A method for solving the spectral problem of Hamiltonian matrices with application to the algebraic Riccati equation

  Ivan Ivanov

  105-121

  • PDF

• Mathematical modeling of the melt heating processes in a furnace, producing flat glass

  I. Zheleva, V. Kambourova, R. Rusev, P. Dimitrov

  123-133

  • PDF

• Field fluctuations and the effective behaviour of micro-inhomogeneous solids

  Konstantin Markov, Keranka Ilieva

  135-144

  • PDF

• A note on the bulk modulus of a binary elastic mixture

  Marin Kolev, Konstantin Markov

  145-150

  • PDF

• Errata

  Editor

  151-151

  • PDF