Document Versions

Theorem Reuse by Proof Term Transformation –Einar Broch Johnsen, Christoph Lüth — 2004
Theorem reuse by proof term transformation –Einar Broch Johnsen, Christoph Lüth — 2004 — International Conference on Theorem Proving in Higher-Order Logics TPHOLs 2004, volume 3223 of Lecture Notes in Computer Science
Theorem reuse by proof term transformation –Einar Broch Johnsen, Christoph Lüth — 2004 — International Conference on Theorem Proving in Higher-Order Logics TPHOLs 2004, volume 3223 of Lecture Notes in Computer Science