RUS  ENG
Full version
JOURNALS // Siberian Journal of Pure and Applied Mathematics // Archive

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2011 Volume 11, Issue 1, Pages 58–63 (Mi vngu68)

The Creation on Database on General Theory of Computability

I. A. Lavrov

Institute for System Programming, Russian Academy of Sciences

Abstract: This database was created to provide specialists in different areas of computability theory a full view on a variety of current research directions in continuously developing field of theory of algorithms.

Keywords: computability, recusively enumerable sets, reducibilities.

UDC: 510.5

Received: 02.09.2010



© Steklov Math. Inst. of RAS, 2025