Automata, Languages, and Programming

Serge Abiteboul

ISBN 10: 3540582010 / ISBN 13: 9783540582014

Published by Springer, Springer Jun 1994, 1994

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 664 pp. Englisch.

Seller Inventory # 9783540582014

Bibliographic Details

• Title: Automata, Languages, and Programming
• Publisher: Springer, Springer Jun 1994
• Publication Date: 1994
• Language: English
• ISBN 10: 3540582010
• ISBN 13: 9783540582014
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 36D millimeters 235 millimeters width by 155 millimeters height by 36 millimeters depth
• Weight: 990 grams

About this title

Synopsis

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.