Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computability, complexity, logic / E. Börger
| Computability, complexity, logic / E. Börger |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1989 |
| Descrizione fisica | xx, 592 p. ; 23 cm. |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 128 |
| Soggetto topico |
Computable functions
Computational complexity Mathematical logic Symbolic logic |
| ISBN | 0444874062 |
| Classificazione |
AMS 03D
AMS 03D05 AMS 03D15 AMS 68Q QA9.59.B6713 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773079707536 |
Borger, Egon
|
||
| Amsterdam : North-Holland, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff
| The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff |
| Autore | Ferrante, Jeanne |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1979 |
| Descrizione fisica | x, 243 p. : ill. ; 24 cm. |
| Disciplina | 510.3 |
| Altri autori (Persone) | Rackoff, Charles W. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 718 |
| Soggetto topico |
Automata and formal grammars in connection with logical questions
Computational complexity Predicate calculus |
| ISBN | 3540095012 |
| Classificazione | AMS 03D05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000773789707536 |
|
Ferrante, Jeanne
|
||
| Berlin : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The formal theory of grammar / John P. Kimball
| The formal theory of grammar / John P. Kimball |
| Autore | Kimball, John P. |
| Pubbl/distr/stampa | Englewood Cliffs : Prentice-Hall, c1973 |
| Descrizione fisica | xvi, 126 p. ; 22 cm. |
| Disciplina | 511.3 |
| Collana | Prentice-Hall foundations of modern linguistics series |
| Soggetto topico | Grammars |
| Classificazione |
AMS 03D05
AMS 68Q50 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000901949707536 |
|
Kimball, John P.
|
||
| Englewood Cliffs : Prentice-Hall, c1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Jewels of formal language theory / Arto Salomaa
| Jewels of formal language theory / Arto Salomaa |
| Autore | Salomaa, Arto |
| Pubbl/distr/stampa | Rockville : Computer Science Press, c1981 |
| Descrizione fisica | ix, 144 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico |
Automata and formal grammars
Formal languages |
| ISBN | 0914894692 |
| Classificazione |
AMS 03D05
AMS 68Q45 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001050199707536 |
|
Salomaa, Arto
|
||
| Rockville : Computer Science Press, c1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding
| Logic and machines : decision problems and complexity / eds. E. Borger, G. Hasenjaeger, and D. Rodding |
| Autore | Borger, Egon |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
| Descrizione fisica | vi, 456 p. : ill. ; 25 cm. |
| Disciplina | 511 |
| Altri autori (Persone) |
Hasenjaeger, G.author
Rodding, D. |
| Soggetto topico |
Computational complexity - Congresses
Decision making - Congresses Machine theory - Congresses |
| ISBN | 3540133313 |
| Classificazione |
AMS 03D05
AMS 62C AMS 68-06 AMS 90A05 QA267 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001094149707536 |
|
Borger, Egon
|
||
| Berlin ; New York : Springer-Verlag, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The mathematical theory of context free languages / Seymour Ginsburg
| The mathematical theory of context free languages / Seymour Ginsburg |
| Autore | Ginsburg, Seymour |
| Pubbl/distr/stampa | New York : McGraw-Hill, c1966 |
| Descrizione fisica | xii, 232 p. : illus. ; 23 cm. |
| Disciplina | 005.131 |
| Soggetto topico |
Automata and formal grammars
Formal languages Mathematical linguistics Sequential machine theory |
| Classificazione |
AMS 03D05
AMS 68Q45 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001119399707536 |
|
Ginsburg, Seymour
|
||
| New York : McGraw-Hill, c1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Topics in invariant theory [e-book] : séminaire d'algebre P. Dubreil et M.-P. Malliavin 1989-1990 (40. annee) / by Marie-Paule Malliavin
| Topics in invariant theory [e-book] : séminaire d'algebre P. Dubreil et M.-P. Malliavin 1989-1990 (40. annee) / by Marie-Paule Malliavin |
| Autore | Malliavin, Marie-Paule |
| Pubbl/distr/stampa | Berlin : Springer, 1991 |
| Descrizione fisica | 1 online resource (vi, 272 p.) |
| Disciplina | 512.66 |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 1478 |
| Soggetto topico |
Mathematics
K-theory |
| ISBN | 9783540475927 |
| Classificazione |
AMS 03C
AMS 03D05 AMS 12E15 AMS 14N10 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991002241499707536 |
|
Malliavin, Marie-Paule
|
||
| Berlin : Springer, 1991 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||