TY - BOOK AU - Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide TI - Language and Automata Theory and Applications SN - 978-3-642-00982-2 PY - 2009/// KW - Computation by Abstract Devices KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Mathematics of Computing KW - Symbolic and Algebraic Manipulation KW - Theory of Computation KW - Computer Science UR - http://link.springer.com/openurl?genre=book&isbn=978-3-642-00982-2 ER -