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