Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings by Stavros KonstantinidisImplementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings by Stavros Konstantinidis

Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS…

byStavros Konstantinidis

Paperback | July 19, 2013

Pricing and Purchase Info

$84.48 online 
$89.95 list price save 6%
Earn 422 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.
Title:Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS…Format:PaperbackDimensions:358 pagesPublished:July 19, 2013Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642392733

ISBN - 13:9783642392733

Look for similar items by category:

Reviews

Table of Contents

Complexity of automata.- Compressed automata.- Counter automata.- Dictionary matching.- Edit distance.- Homing sequences.- Implementation.- Minimization of automata.- Model checking.- Parsing of regular expressions.- Partial word automata.- Picture languages.- Pushdown automata.- Queue automata.- Reachability analysis for software verification.- Restarting automata.- Transducers.- Tree automata.- Weighted automata.- XML streams.