A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Probability, complexity, grammars / Lev BEKLEMISHEV (Cop. 1999)
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 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 . - Providence, R. I. (Etats Unis) : 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
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 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16679 858/192 Livre Recherche Salle Disponible