Provability, complexity, grammars [monographie] |
| Auteur(s): | Beklemishev, Lev Dmitrievich (1967-....) Pentus, Mati Reinovich (1967-....) Vereshchagin, Nikolai Konstantinovich (1958-....) |
| Langue: | anglais |
| Collection: | Translations - American Mathematical Society - Series 2, n° 192 |
| Editeur, date d'édition: | American Mathematical Society, 1999 |
| Ville(s) d'édition: | Providence, Rhode Island (US) |
| ISBN: | 0-8218-1078-2 |
| ISSN: | 0065-9290 |
| Classification MSC: | 68-06 |
| Notes: | ix ; fig. ; notes bibliogr. ; 26 cm (Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian) ; 172 p. |
| Thèmes: | logique, linguistique mathematique, theorie de la preuve, modalite, complexite de calcul, proof theory, modality, computational linguistics, mathematical linguistics |
| Localisation: | Ouvrage localisé fonds recherche - Cote Ha 1/6 |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 76 BEK 99 | Disponible |