STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings. 1st ed. 1996
- 種類:
- 電子ブック
- 責任表示:
- edited by Claude Puech, Rüdiger Reischuk
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 1046
- ISBN:
- 9783540497233 [3540497234]
- 注記:
- New trends in quantum computing -- Compressibility and resource bounded measure -- On the complexity of random strings -- Remarks on generalized Post Correspondence Problem -- Cyclic languages and strongly cyclic languages -- Resource-bounded balanced genericity, stochasticity and weak randomness -- The complexity of generating and checking proofs of membership -- Observations on measure and lowness for ? 2 P -- Solvable black-box group problems are low for PP -- Languages recognized by finite aperiodic groupoids -- Star-height of an N-rational series -- An aperiodic set of Wang cubes -- Lyndon factorization of infinite words -- Embedding graphs with bounded treewidth into optimal hypercubes -- Parallel comparability graph recognition and modular decomposition -- Fault-tolerant shared memory simulations -- On word-level parallelism in fault-tolerant computing -- Learning with confidence -- Extracting best consensus motifs from positive and negative examples -- PAC learning with simple examples -- General ind
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity. - ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
