top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui