Cryptographic applications of analytic number theory / Igor SHPARLINSKI (Cop. 2003)

Public ISBD Titre : Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness Type de document : texte imprimé Auteurs : Igor SHPARLINSKI, Auteur Editeur : Basel : Birkhäuser Verlag Année de publication : Cop. 2003 Collection : Progress in Computer Science and Applied Logic num. 22 Importance : VIII-411 p. ISBN/ISSN/EAN : 978-3-7643-6654-4 Langues : Anglais Catégories : 03D15 11T71 11Yxx 68Q15 94A60 Mots-clés : complexité algorithmique  cryptographie  théorie analytique des nombres Note de contenu : index, bibliogr. Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness [texte imprimé] / Igor SHPARLINSKI, Auteur . - [S.l.] : Birkhäuser-Verlag, Cop. 2003 . - VIII-411 p.. - (Progress in Computer Science and Applied Logic; 22) . ISBN : 978-3-7643-6654-4 Langues : Anglais Catégories : 03D15 11T71 11Yxx 68Q15 94A60 Mots-clés : complexité algorithmique  cryptographie  théorie analytique des nombres Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19437	SHP/11/7845	Livre	Recherche	Salle	Disponible

Probability, complexity, grammars / Lev BEKLEMISHEV (Cop. 1999)

Public ISBD 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 68S05 Mots-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 68S05 Mots-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

Problems of reducing the exhaustive search / V. KREINOVICH (Cop. 1997)

Public ISBD Titre : Problems of reducing the exhaustive search Type de document : texte imprimé Auteurs : V. KREINOVICH, Editeur scientifique ; G. MINTS, Editeur scientifique Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : Cop. 1997 Collection : American Mathematical Society Translations. Series 2, ISSN 0065-9290 num. 178 Importance : X-189 p. ISBN/ISSN/EAN : 978-0-8218-0386-8 Langues : Anglais Langues originales : Russe Catégories : 03D15 68Q15 68Q60 Mots-clés : complexité computationnelle Résumé : This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in Problemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council ''Cybernetics'' of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife, Nina Maslova. Maslov is known as the originator of the inverse method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robinson and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, Theory of Deductive Systems and Its Applications (1986; English 1987). This collection contains translations of papers on proposititional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role. Note de contenu : références Problems of reducing the exhaustive search [texte imprimé] / V. KREINOVICH, Editeur scientifique ; G. MINTS, Editeur scientifique . - Providence, R. I. (Etats Unis) : American Mathematical Society, Cop. 1997 . - X-189 p.. - (American Mathematical Society Translations. Series 2, ISSN 0065-9290; 178) . ISBN : 978-0-8218-0386-8 Langues : Anglais Langues originales : Russe Catégories : 03D15 68Q15 68Q60 Mots-clés : complexité computationnelle Résumé : This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in Problemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council ''Cybernetics'' of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife, Nina Maslova. Maslov is known as the originator of the inverse method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robinson and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, Theory of Deductive Systems and Its Applications (1986; English 1987). This collection contains translations of papers on proposititional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role. Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12045	858/178	Livre	Recherche	Salle	Disponible

Realization spaces of polytopes / Jürgen RICHTER-GEBERT (1996)

Public ISBD Titre : Realization spaces of polytopes Type de document : monographie Auteurs : Jürgen RICHTER-GEBERT, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1996 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1643 Importance : XI-187 p. ISBN/ISSN/EAN : 978-3-540-62084-6 Langues : Anglais Catégories : 14P10 51A25 52B10 52B11 52B30 52b40 68Q15 Mots-clés : realisation d'espaces de polytopes  polytope  matroïde Note de contenu : index, bibliogr. Realization spaces of polytopes [monographie] / Jürgen RICHTER-GEBERT, Auteur . - Berlin : Springer-Verlag, 1996 . - XI-187 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1643) . ISBN : 978-3-540-62084-6 Langues : Anglais Catégories : 14P10 51A25 52B10 52B11 52B30 52b40 68Q15 Mots-clés : realisation d'espaces de polytopes  polytope  matroïde Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
10731	LN 1643	Livre	Recherche	Salle	Disponible

---

page 1/1