Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / [electronic resource] :
edited by Oscar H. Ibarra, Bala Ravikumar.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5148 0302-9743 ; .
9783540708445
Computer science Computer software Logic design Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages