Automata, Languages, and Programming : 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings. 1st ed. 1994
- 種類:
- 電子ブック
- 責任表示:
- edited by Serge Abiteboul, Eli Shamir
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 820
- ISBN:
- 9783540485667 [354048566X]
- 注記:
- Unexpected upper bounds on the complexity of some communication games -- Valuations and unambiguity of languages, with applications to fractal geometry -- On the computational power of probabilistic and faulty neural networks -- Deciding properties of integral relational automata -- On the cost of recomputing: tight bounds on pebbling with faults -- On some relations between dynamical systems and transition systems -- Complexity results for multi-pebble automata and their logics -- An analysis of the Core-ML language: Expressive power and type reconstruction -- Expressiveness of efficient semi-deterministic choice constructs -- Tailoring recursion for complexity -- Determinizing asynchronous automata -- On the complementation of Büchi asynchronous cellular automata -- Distribution and locality of concurrent systems -- Liveness in timed and untimed systems -- Average-case analysis of pattern-matching in trees under the BST probability model -- On the approximation of shortest common supersequences and longest
This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers selected from 154 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on theory of computation, automata and computation models, expressive power, automata and concurrency, pattern matching, data structures, computational complexity, logic and verification, formal languages, term rewriting, algorithms and communications, graph algorithms, randomized complexity, various algorithms. - ローカル注記:
- 学内専用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 |