Provability, complexity, grammars

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin

言語:

英語

出版情報:

Providence, R.I. : American Mathematical Society, c1999

形態:

ix, 172 p. ; 26 cm

著者名:

シリーズ名:

書誌ID:

BA41357855

ISBN:

9780821810781 [0821810782] (: hbk. : alk. paper)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Computational complexity; Mathematical linguistics; Modality (Logic); Proof theory
分類・件名:	LCC : QA3 LCC : QA9.46 DDC : 510 s DDC : 511.3 LCSH : Modality (Logic) LCSH : Proof theory LCSH : Computational complexity LCSH : Mathematical linguistics
LCCN:	99020177
注記:	Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian Includes bibliographical references
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proof complexity Krajíček, Jan Cambridge University Press	7 図書 Logic and complexity Lassaigne, Richard, 1944-, Rougemont, Michel de, 1953- Springer
2 図書 Kolmogorov complexity and algorithmic randomness Shen, Alexander, 1958-, Uspenskiĭ, V. A. (Vladimir Andreevich), Vereshchagin, N. K., 1928- American Mathematical Society	8 図書 Complexity of proofs and their transformations in axiomatic theories Orevkov, V. P, Bochman, Alexander, Louvish, David American Mathematical Society
3 図書 Computable functions Vereshchagin, Nikolai Konstantinovich, 1958-, Shen, Alexander, 1958-, American Mathematical Society American Mathematical Society	9 図書 Computational complexity : a modern approach Arora, Sanjeev, Barak, Boaz Cambridge University Press
4 図書 The Formal complexity of natural language Savitch, Walter J., 1943-, Bach, Emmon W., 1929-, Marsh, William, Safran-Naveh, Gila D. Reidel	10 図書 Computational complexity theory Rudich, Steven, Wigderson, Avi American Mathematical Society
5 図書 Proof theory and logical complexity Girard, Jean-Yves Bibliopolis	11 図書 Computational complexity : a quantitative perspective Zimand, Marius Elsevier
6 図書 Complexity and structure Schöning, Uwe, 1955- Springer-Verlag	12 図書 Complexity, logic, and recursion theory Sorbi, Andrea, 1956- Marcel Dekker