Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logic for Programming Artificial Intelligence and Reasoning

LPAR 1992: Logic Programming and Automated Reasoning pp 481–483Cite as

MIZ-PR: A theorem prover for polymorphic and recursive functions

  • System Descriptions
  • Conference paper
  • First Online:

  • 122 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 624))

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

References

  1. Hanus, M. Horn Clause Programs with Polymorphic Types: Semantics and Resolution. TAPSOFT'89, LNCS 352, 225–240, 1989.

    Google Scholar 

  2. Manna, Z. Mathematical Theory of Computation. Mc Graw-Hill, 1974.

    Google Scholar 

  3. Nieva, S. The Reasoner of MIZAR/LOG. Computerized Logic Teaching Bulletin, N. 2(1), 22–35, 1989.

    Google Scholar 

  4. Nieva, S. Una Lógica Computacional con Polimorfismo y Recursión y un Sistema de Deducción Automática basado en ella. Phd. Thesis, Fac. Matemáticas UCM, 1991.

    Google Scholar 

  5. Paulson, L.C. Logic and Computation. Cambridge Univ. Press, 1987.

    Google Scholar 

  6. Prazmowski, K. and Rudnicki, P. MIZAR-MSE Primer and User Guide. Tr 88-11, Univ. of Alberta, Dpt. of Comp. Sci. Edmonton, 1988.

    Google Scholar 

  7. Schmidt, D.A. Denotational Semantics. A Methodology for Language Development. Wm. C. Brown Publishers, 1986.

    Google Scholar 

  8. Scott, D.S. Domains for Denotational Semantics. ICALP'82, LNCS 140, 577–613, 1982.

    Google Scholar 

  9. Trybulec, A. and Blair, H. Computer Aided Reasoning. Logic of Programs LNCS 193, 406–412, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. de Informática y Automática, Fac. de Matemáticas U.C.M., 28040, Madrid, Spain

    Javier Leach & Susana Nieva

Authors
  1. Javier Leach
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Susana Nieva
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Leach, J., Nieva, S. (1992). MIZ-PR: A theorem prover for polymorphic and recursive functions. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013094

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47279-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation