References
Barwise, J., & Etchemendy, J. (1995). Turing’s World 3.0. Stanford, CA: Center for the study of Language and Information Publications.
Hopcroft, J. E., & Ullman, J. D. (1979). Introduction to automata theory, languages, and computation. Reading, MA: Addison-Wesley Publishing Co..
Hopcroft, J. E., & Ullman, J. D. (2007). Introduction to automata theory, languages, and computation. Boston, MA: Pearson/Addison Wesley.
Khoussainov, B., & Nerode, A. (2001). Automata theory and its applications. Boston, MA: Birkhäuser Boston Inc.
Kozen D.C. (1997). Automata and computability. New York, Springer
Kropf T. (1999). Introduction to formal hardware verification. Berlin, Springer
Moss L.S., Tiede H.-J. (2006). Applications of modal logic in linguistics. In: Blackburn P., van Benthem J., Wolter F(eds) Handbook of modal logic. Amsterdam, Elsevier
Rogers J. (1998). A descriptive approach to language-theoretic complexity. Stanford, CA: CSLI Publications
Rosser J.B. (1984). Highlights of the history of the lambda-calculus. Annals of the History of Computing 6(4): 337–349
Sipser M. (2006). Introduction to the theory of computation (2nd ed). Boston, MA: Thomson Course Technology.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Tiede, HJ. Book Review. J of Log Lang and Inf 17, 233–236 (2008). https://doi.org/10.1007/s10849-007-9040-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-007-9040-7