TY - GEN digital ID - 131518848 TI - Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings PY - 2013 SN - 9783642392740 PB - Berlin, Heidelberg Springer DB - UniCat KW - Information retrieval KW - Mathematical logic KW - Complex analysis KW - Biomathematics. Biometry. Biostatistics KW - Molecular biology KW - Computer science KW - Programming KW - Computer architecture. Operating systems KW - Information systems KW - Computer. Automation KW - IR (information retrieval) KW - complexe analyse (wiskunde) KW - bio-informatica KW - bedrijfssoftware KW - computers KW - informatica KW - informatiesystemen KW - biometrie KW - database management KW - wiskunde KW - programmatielogica KW - logica KW - computerkunde KW - moleculaire biologie UR - https://www.unicat.be/uniCat?func=search&query=sysid:131518848 AB - 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. ER -