Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings. 1st ed. 1994
- 種類:
- 電子ブック
- 責任表示:
- edited by Igor Privara, Branislav Rovan, Peter Ruzicka
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 841
- ISBN:
- 9783540486633 [3540486631]
- 注記:
- Models, languages, and compiler technology for high performance computers -- On NC-real complexity classes for additive circuits and their relations with NC -- E-complete sets do not have optimal polynomial time approximations -- Solving polynomial fixed point equations -- Capturing complexity classes with Lindström quantifiers -- Communication throughput of interconnection networks -- Intuitive counterexamples for constructive fallacies -- Algebraic methods in the compositional analysis of logic programs -- Longest common subsequences -- Towards DNA sequencing chips -- On-line scheduling of parallel jobs -- Stable bistructure models of PCF -- A Competitive analysis of the list update problem with lookahead -- May and must convergency in concurrent ?-calculus -- Genericity and measure for exponential time -- Analysis of bounded disorder -- On languages accepted with simultaneous complexity bounds and their ranking problem -- A proof system for asynchronously communicating deterministic processes -- Embedding
This volume constitutes the proceedings of the 19th International Symposium on Mathematical Foundations of Theoretical Computer Science, MFCS '94, held in Kosice, Slovakia in August 1994. MFCS '94 brought together specialists in theoretical fields of computer science from various countries in order to stimulate mathematical research in theoretical computer science. Besides 12 papers based on invited talks by renowned experts, the book contains 42 research contributions selected from a total of 112 submissions. All areas of theoretical computer science are presented, some from a particular mathematical point of view. - ローカル注記:
- 学内専用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 |
