Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers - Domaratzki, Michael; Salomaa, Kai.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Data structures (Computer science).; Computer software; Logic design; Computational complexity; Computer Science; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science; Logics and Meanings of Programs; Data Structures