Vol. 90 (1998): Ann. Sofia Univ. Fac. Math and Inf.

Articles

• Editorial note

  Editor

  3

  • PDF

• Scientific programme of the Fourth Logical Biennial

  Editor

  7

  • PDF

• SKORDEV'S CONTRIBUTION TO RECURSION THEORY

  Lyubomir Ivanov

  9-15

  • PDF

• A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*

  Milena Stefanova

  17-40

  • PDF

• FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS

  Jordan Zashev

  41-50

  • PDF

• A CATEGORICAL FRAMEWORK FOR CODE EVALUATION METHOD

  Jordan Zashev

  51-75

  • PDF

• ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS

  Alexandra Soskova, Ivan Soskov

  77-90

  • PDF

• $\prod_{1}^{0}$-POSITIVE INDUCTIVE DEFINABILITY ON ABSTRACT STRUCTURES

  Stela Nikolova

  91-108

  • PDF

• AN INEQUALITY OF DUFFIN-SCHAEFFER-SCHUR TYPE

  Geno Nikolov

  109-123

  • PDF

• FACTORIZATIONS OF THE GROUPS $\Omega_{7}(q)$

  Elenka Gentcheva, Tsanko Gentchev

  125-132

  • PDF

• Рост целых функций, обращающихся в ноль на аналитическом множестве

  Maria Mitreva

  133-138

  • PDF

• A CONSTRAINT BASED SYSTEM FOR LEXICAL KNOWLEDGE RETRIEVAL

  Stoyan Mihov

  141-148

  • PDF

• A MOTION OF A FAST SPINNING RIGID BODY ABOUT A FIXED POINT IN A SINGULAR CASE

  Abdel Ismail

  149-164

  • PDF

• KAM - A KNOWLEDGE-BASED TOOL FOR DEVELOPING COMPUTER ALGEBRA SYSTEMS

  Maria Nisheva-Pavlova

  165-176

  • PDF

• NUMERICAL SOLUTIONS FOR STEADY FLOW PAST A CIRCULAR CYLINDER VIA THE METHOD OF VARIATIONAL IMBEDDING

  Christo Christov, Rossitza Marinova

  177-189

  • PDF