Skip to main content
SpringerLink
Log in

Book Review

  • Book Review
  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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

    Google Scholar 

  • Kropf T. (1999). Introduction to formal hardware verification. Berlin, Springer

    Google Scholar 

  • 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

    Google Scholar 

  • Rogers J. (1998). A descriptive approach to language-theoretic complexity. Stanford, CA: CSLI Publications

    Google Scholar 

  • Rosser J.B. (1984). Highlights of the history of the lambda-calculus. Annals of the History of Computing 6(4): 337–349

    Article  Google Scholar 

  • Sipser M. (2006). Introduction to the theory of computation (2nd ed). Boston, MA: Thomson Course Technology.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Illinois Wesleyan University, Bloomington, IL, USA

    Hans-Jörg Tiede

Authors
  1. Hans-Jörg Tiede
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hans-Jörg Tiede.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-007-9040-7

Search

Navigation