Provability, complexity, grammars / Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Beklemishev, Lev
|
| Titolo: |
Provability, complexity, grammars / Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin
|
| Pubblicazione: | Providence, : AMS, 1999 |
| Descrizione fisica: | IX, 172 p. ; 26 cm |
| Soggetto topico: | 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| 03B45 - Modal logic (including the logic of norms) [MSC 2020] | |
| 03B65 - Logic of natural languages [MSC 2020] | |
| 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] | |
| Altri autori: |
Pentus, Mati
Vereshchagin, Nikolai K.
|
| Titolo autorizzato: | Provability, complexity, grammars |
| ISBN: | 978-08-218-1078-1 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN0052352 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | /sebina/repository/catalogazione/documenti/Beklemishev, Pentus, Vereshchagin - Provability, complexity, grammars.pdf |
| Opac: | Controlla la disponibilità qui |
Serie:
American mathematical society translations. Series 2 Providence . -American Mathematical Society ; 192