Record Nr.

UNICAMPANIASUN0055109

Autore

Proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications : 1999

Titolo

Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-Siam joint summer research conference computability theory and applications, june 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ... [et al.]

Pubbl/distr/stampa


Providence, : American Mathematical Society, 2000

ISBN

978-08-218-1922-7

Descrizione fisica

XVI, 320 p. ; 26 cm.

Soggetti

03Dxx - Computability and recursion theory [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia