This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both co
A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models
Models of Computation and Formal Languages presents a comprehensive and rigorous treatment of the theory of computability. The text takes a novel approach focus
This book constitutes the refereed proceedings of the Third International Conference on Unconventional Models of Computation, UMC 2002, held in Kobe, Japan in O