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

Gespeichert in:

Personen und Körperschaften:	Konstantinidis, Stavros (VerfasserIn)
Titel:	Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings/ edited by Stavros Konstantinidis
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7982
Schlagwörter:	Data structures (Computer science) Computer software Computer Science Computer science Information storage and retrieval systems Bioinformatics Machine theory. Artificial intelligence Algorithms. Konferenzschrift > 2013 > Halifax, Nova Scotia Konferenzschrift
Druckausg.:	Implementation and application of automata, Berlin : Springer, 2013, XIII, 358 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	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
Beschreibung:	Literaturangaben
Umfang:	Online-Ressource (XIV, 358 p. 78 illus, online resource)
ISBN:	9783642392740
DOI:	10.1007/978-3-642-39274-0