Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings. 1st ed. 1994
- 種類:
- 電子ブック
- 責任表示:
- edited by P.S. Thiagarajan
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 880
- ISBN:
- 9783540490548 [354049054X]
- 注記:
- Efficient resolution of singularities of plane curves -- On the interactive complexity of graph reliability -- Matching upper and lower bounds for simulations of several tapes on one multidimensional tape -- The complexity of computing over quasigroups -- Non-commutative computation, depth reduction, and skew circuits (extended abstract) -- Inductive definitions and type theory an introduction (preliminary version) -- Interpreter verification for a functional language -- An epistemic foundation for logic programming with uncertainty -- On typed calculi with a merge operator -- Incremental algorithms for the single-source shortest path problem -- An O(n) algorithm for realizing degree sequences -- Coloring semi-random graphs in polynomial expected time -- Finite-state strategies in regular infinite games -- Location of the largest empty rectangle among arbitrary obstacles -- Efficient parallel and linear time sequential split decomposition (extended abstract) -- Algorithms for convex visibility problems -- Low
This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994. Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency, unification, and discrete mathematics. - ローカル注記:
- 学内専用E-BOOKS (local access 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 |
