Equational Reasoning via Partial Reflection

by H. Geuvers , F. Wiedijk , J. Zwanenburg
Citations:11 - 7 self

Document Versions

Equational Reasoning via Partial Reflection –H. Geuvers, F. Wiedijk, J. Zwanenburg
Equational Reasoning via Partial Reflection –H. Geuvers, F. Wiedijk, J. Zwanenburg — 2000
Equational reasoning via partial reflection –H. Geuvers, F. Wiedijk, J. Zwanenburg — 2000 — Theorem Proving in Higher Order Logics: 13 th International Conference, TPHOLs 2000, volume 1869 of Lecture Notes in Computer Science
Equational reasoning via partial reflection –H. Geuvers, F. Wiedijk, J. Zwanenburg — 2000 — Theorem Proving in Higher Order Logics: 13 th International Conference, TPHOLs 2000, volume 1869 of Lecture Notes in Computer Science