Part of the Lecture Notes in Computer Science book series (LNCS, volume 1130)
Inductively defined relations: A brief tutorial extended abstract
Unable to display preview. Download preview PDF.
- 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
© Springer-Verlag Berlin Heidelberg 1996