Skip to main content
SpringerLink
Log in
Book cover

Workshop on the Specification of Abstract Data Types

Workshop of the ESPRIT Basic Research Working Group COMPASS

ADT 1995, COMPASS 1995: Recent Trends in Data Type Specification pp 14–16Cite as

Inductively defined relations: A brief tutorial extended abstract

  • Invited Presentations
  • Conference paper
  • First Online:

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

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

References

  1. C. Cornes and D. Terrasse. Automatizing inversion of inductive predicates in Coq. In Proceedings of the BRA Types workshop, Lecture Notes in Computer Science, Turin, Italy, June 1995. Springer-Verlag. To appear.

    Google Scholar 

  2. C. McBride. Inverting inductively defined predicates in Lego. Master's thesis, Department of Computer Science, University of Edinburgh, Oct. 1995.

    Google Scholar 

  3. T. F. Melham. A package for inductive relation definitions in HOL. In Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, Davis, California, pages 350–357. IEEE Computer Society Press, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Edinburgh, The King's Buildings, EH9 3JZ, Edinburgh, UK

    R. M. Burstall

Authors
  1. R. M. Burstall
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Magne Haveraaen Olaf Owe Ole-Johan Dahl

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Burstall, R.M. (1996). Inductively defined relations: A brief tutorial extended abstract. In: Haveraaen, M., Owe, O., Dahl, OJ. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1995 1995. Lecture Notes in Computer Science, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61629-2_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-61629-2_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61629-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation