skip to main content
article
Free Access

Mathematizing abstract data types

Authors Info & Claims
Published:01 June 1994Publication History
First page image

References

  1. Aho, A, and Ullman, J, Foundations of Computer Science, Computer Science Press, New York, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Corcoran, J, "Categoricity", History and Philosophy of Logic, vol. 1, pp. 187-207, 1980.Google ScholarGoogle ScholarCross RefCross Ref
  3. Enderton, H, A Mathematical Introduction To Logic, Academic Press, New York, 1972.Google ScholarGoogle Scholar
  4. Horowitz, E, and Sahni, S, Fundamentals of Data Structures, Computer Science Press, New York, 1982.Google ScholarGoogle Scholar
  5. McCracken, D, A Second Course In Computer Science With Pascal, John Wiley and Sons, New York, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Silver, C, From Symbolic Logc .. To Mathematical Logic, Wm. C. Brown, Dubuque, Iowa, July, 1993.Google ScholarGoogle Scholar

Index Terms

  1. Mathematizing abstract data types

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGCSE Bulletin
        ACM SIGCSE Bulletin  Volume 26, Issue 2
        June 1994
        67 pages
        ISSN:0097-8418
        DOI:10.1145/181648
        Issue’s Table of Contents

        Copyright © 1994 Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 June 1994

        Check for updates

        Qualifiers

        • article
      • Article Metrics

        • Downloads (Last 12 months)8
        • Downloads (Last 6 weeks)1

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!