Equational Reasoning via Partial Reflection

H. Geuvers ; F. Wiedijk ; Zwanenburg, J.

Theorem Proving for Higher Order Logics, TPHOL 2000, Portland OR, USA, eds. M. Aagaard and J. Harrison, LNCS 1869, pp. 162 -- 178

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:21 CET 2007.