Skip to main content
SpringerLink
Log in

Challenge equality problems in lattice theory

  • Conference paper
  • First Online:
9th International Conference on Automated Deduction (CADE 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 310))

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bumcroft, R., Proc. Glasgow Math. Assoc. 7, Pt. 1, pp.22–23 (1965).

    Google Scholar 

  2. Guard, J., Oglesby, F., Bennett, J., and Settle, L., “Semi-automated mathematics”, Journal of the ACM 16, pp. 49–62 (1969).

    Article  Google Scholar 

  3. Hsiang, J., and Rusinowitch, M., “On word problems in equational theories”, in Proceedings of the 14th International Colloquium on Languages, Automata, and Programming, Springer-Verlag Lecture Notes in Computer Science, Vol. 267, pp. 54–71 (1987).

    Google Scholar 

  4. McCharen, J., Overbeek, R., and Wos, L., “Complexity and related enhancements for automated theorem-proving programs”, Computers and Mathematics with Applications 2, pp. 1–16 (1976).

    Article  Google Scholar 

  5. Peterson, G. E., “A technique for establishing completeness results in theorem proving with equality”, SIAM Journal of Computing 12, pp. 82–100 (1983).

    Article  Google Scholar 

  6. Robinson, G., and Wos, L., “Paramodulation and theorem-proving in first-order theories with equality”, pp. 135–150 in Machine Intelligence 4, ed. B. Meltzer and D. Michie, Edinburgh University Press, Edinburgh (1969).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematics and Computer Science Division, Argonne National Laboratory, 60439-4844, Argonne, IL

    William McCune

Authors
  1. William McCune
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ewing Lusk Ross Overbeek

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

McCune, W. (1988). Challenge equality problems in lattice theory. In: Lusk, E., Overbeek, R. (eds) 9th International Conference on Automated Deduction. CADE 1988. Lecture Notes in Computer Science, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012868

Download citation

  • DOI: https://doi.org/10.1007/BFb0012868

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19343-2

  • Online ISBN: 978-3-540-39216-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation