Informatik (15.755 Artikel)

The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16-18, 2007. These proceedings co...

This book constitutes the proceedings of the 24th International Conference on Implementation and Application of Automata, CIAA 2019, held in  Kosice, Slovakia, in July 2019.

This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was h...

19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015. The 22 re...

This book constitutes the proceedings of the 23rd International Conference on  Implementation and Application of Automata, CIAA 2018, held in  Charlottetown, PE, Canada, in July/August 2018.The 23 ...

8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings

Invited Lectures.- Implementation and Application of Automata in String Processing.- Applications of Automata in XML Processing.- Program Analysis through Finite Tree Automata.- Technical Contribut...

This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 rev...

This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016. The 26 revised ...

This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017.

Using Finite State Technology in Natural Language Processing of Basque.- Cascade Decompositions are Bit-Vector Algorithms.- Submodule Construction and Supervisory Control: A Generalization.- Counti...

Invited Lecture.- Edit-Distance of Weighted Automata.- Technical Contributions.- p-Subsequentiable Transducers.- Bidirectional Push Down Automata.- Finite Automata and Non-self-Embedding Grammars.-...

The Fifth International Conference on Implementation and Application of - tomata (CIAA 2000) was held at the University of Western Ontario in London, Ontario, Canada on July 24-25, 2000. This confe...

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...