Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide

Language and Automata Theory and Applications - 2009

978-3-642-00982-2


Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematics of Computing
Symbolic and Algebraic Manipulation
Theory of Computation
Computer Science