Tome 90

Editorial note, , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, p.3, (1998)PDF icon 90-003.pdf (159.95 KB)
Scientific programme of the Fourth Logical Biennial, , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.7, (1998)PDF icon 90-007.pdf (71.1 KB)
SKORDEV'S CONTRIBUTION TO RECURSION THEORY, Ivanov, Lyubomir , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.9-15, (1998)PDF icon 90-009-015.pdf (866.91 KB)
A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*, Stefanova, Milena , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.17-40, (1998)PDF icon 90-017-040.pdf (1.97 MB)
FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS, Zashev, Jordan , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.41-50, (1998)PDF icon 90-041-050.pdf (946.7 KB)
A CATEGORICAL FRAMEWORK FOR CODE EVALUATION METHOD, Zashev, Jordan , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.51-75, (1998)PDF icon 90-051-075.pdf (2.33 MB)
ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS, Soskova, Alexandra, and Soskov Ivan , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.77-90, (1998)PDF icon 90-077-090.pdf (1.2 MB)
$\prod_{1}^{0}$-POSITIVE INDUCTIVE DEFINABILITY ON ABSTRACT STRUCTURES, Nikolova, Stela , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.91-108, (1998)PDF icon 90-091-108.pdf (1.65 MB)
AN INEQUALITY OF DUFFIN-SCHAEFFER-SCHUR TYPE, Nikolov, Geno , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.109-123, (1998)PDF icon 90-109-123.pdf (1.12 MB)
FACTORIZATIONS OF THE GROUPS $\Omega_{7}(q)$, Gentcheva, Elenka, and Gentchev Tsanko , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.125-132, (1998)PDF icon 90-125-132.pdf (637.68 KB)
Рост целых функций, обращающихся в ноль на аналитическом множестве, Mitreva, Maria , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.133-138, (1998)PDF icon 90-133-138.pdf (436.21 KB)
A CONSTRAINT BASED SYSTEM FOR LEXICAL KNOWLEDGE RETRIEVAL, Mihov, Stoyan , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.141-148, (1998)PDF icon 90-141-148.pdf (659.23 KB)
A MOTION OF A FAST SPINNING RIGID BODY ABOUT A FIXED POINT IN A SINGULAR CASE, Ismail, Abdel , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.149-164, (1998)PDF icon 90-149-164.pdf (1.1 MB)
KAM - A KNOWLEDGE-BASED TOOL FOR DEVELOPING COMPUTER ALGEBRA SYSTEMS, Nisheva-Pavlova, Maria , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.165-176, (1998)PDF icon 90-165-176.pdf (1.23 MB)
NUMERICAL SOLUTIONS FOR STEADY FLOW PAST A CIRCULAR CYLINDER VIA THE METHOD OF VARIATIONAL IMBEDDING, Christov, Christo, and Marinova Rossitza , Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.177-189, (1998)PDF icon 90-177-189.pdf (1.09 MB)