A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03B65
Affiner la recherche Interroger des sources externes
Probability, complexity, grammars (Cop. 1999) / Lev BEKLEMISHEV
Titre : Probability, complexity, grammars Type de document : texte imprimé Auteurs : Lev BEKLEMISHEV, Auteur ; Mati PENTUS, Auteur ; Nikolai VERESHCHAGIN, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : Cop. 1999 Collection : American Mathematical Society Translations. Series 2, ISSN 0065-9290 num. 192 Importance : IX-172 p. ISBN/ISSN/EAN : 978-0-8218-1078-1 Langues : Anglais (eng) Catégories : 03B45
03B65
03F40
68Q15
68S05Mots-clés : démontrabilité complexité probabilité Résumé : The book contains English translations of three outstanding dissertations in mathematical logic and complexity theory. L. Beklemishev proves that all provability logics must belong to one of the four previously known classes. The dissertation of M. Pentus proves the Chomsky conjecture about the equivalence of two approaches to formal languages: the Chomsky hierarchy and the Lambek calculus. The dissertation of N. Vereshchagin describes a general framework for criteria of reversability in complexity theory. Note de contenu : références Probability, complexity, grammars [texte imprimé] / Lev BEKLEMISHEV, Auteur ; Mati PENTUS, Auteur ; Nikolai VERESHCHAGIN, Auteur . - American Mathematical Society, Cop. 1999 . - IX-172 p.. - (American Mathematical Society Translations. Series 2, ISSN 0065-9290; 192) .
ISBN : 978-0-8218-1078-1
Langues : Anglais (eng)
Catégories : 03B45
03B65
03F40
68Q15
68S05Mots-clés : démontrabilité complexité probabilité Résumé : The book contains English translations of three outstanding dissertations in mathematical logic and complexity theory. L. Beklemishev proves that all provability logics must belong to one of the four previously known classes. The dissertation of M. Pentus proves the Chomsky conjecture about the equivalence of two approaches to formal languages: the Chomsky hierarchy and the Lambek calculus. The dissertation of N. Vereshchagin describes a general framework for criteria of reversability in complexity theory. Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16679 858/192 Livre Recherche Salle Disponible