# zbMATH — the first resource for mathematics

Derivation and use of induction schemes in higher-order logic. (English) Zbl 0890.03005
Gunter, Elsa L. (ed.) et al., Theorem proving in higher order logics. 10th international conference, TPHOLs ’97. Murray Hill, NJ, USA. August 19–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1275, 275-290 (1997).