Библиография

Zashev J.  2005.  AFFINE APPLICATIONS IN OPERATIVE SPACES. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 97 0497.pdf (54.41 KB) 97-063-079.pdf (1.95 MB)

Zashev J.  1998.  A CATEGORICAL FRAMEWORK FOR CODE EVALUATION METHOD. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 90(Livre 1 - Mathématiques et Mecanique):51-75. 90-051-075.pdf (2.33 MB)

Zashev J.  1995.  Code evaluation in operative spaces with storage operation. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 87(Livre 1 - Mathématiques):307-326. 87-307-326.pdf (3.73 MB)

Zashev J.  2011.  COMBINATORY SPACES VERSUS OPERATIVE SPACES WITH STORAGE OPERATION. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 100 123-142.pdf (189.88 KB)

Zashev J.  1995.  On the connection between the abstract recursion theory and the method of successive approximations. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 87(Livre 1 - Mathématiques):113-128. 87-113-128.pdf (2.61 MB)

Zashev J.  1998.  FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 90(Livre 1 - Mathématiques et Mecanique):41-50. 90-041-050.pdf (946.7 KB)

Zashev J.  1993.  Least fixed points in monoidal categories with cartesian structure on objects. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 84(Livre 1 - Mathématiques):23-42. 84-023-042.pdf (3.4 MB)