Title: Models of Computation in Context
Subjects: Computational complexity, Symbolic and mathematical Logic, Computer science, Data processing, Algebra, Computer software, Informatique, Congresses, Computable functions, Computational intelligence, Mathematical Logic and Foundations, Symbolic and Algebraic Manipulation, Discrete Mathematics in Computer Science, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices