Anil Nerode & Richard A. Shore, Logic for Applications, Springer-Verlag, 1993 [Book Review]

ACM SIGACT News 26 (1):20-22 (1995)
  Copy   BIBTEX

Abstract

This is a review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.

Author's Profile

Varol Akman
Bilkent University

Analytics

Added to PP
2009-01-28

Downloads
145 (#77,476)

6 months
67 (#60,119)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?