Fulltext present in this item

Thumbnail
Fulltext: 104047.pdf
Format: PDF
Description: author's version
Embargo: until further notice
Title: Equational reasoning via partial reflection
Author(s): Geuvers, J.H. ; Wiedijk, F. ; Zwanenburg, J.
Publication year: 2000
In: Aagaard, M.; Harrison, J. (ed.), Theorem Proving in Higher Order Logics :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings, pp. 162-178
Publisher: Berlin : Springer
ISBN: 3540678638
Series: Lecture Notes in Computer Science ; 1869
Annotation: 13th International Conference on Theorem Proving in Higher Order Logics Aug 14-18, 2000 Portland, oregon Intel Corporat, OGI, Oregon Grad Inst, Compaq, IBM, Intel, Levetate, Synopsys
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/104047   https://hdl.handle.net/2066/104047

Display more details
Editor(s): Aagaard, M.; Harrison, J.
Subject: Data Science
Organization: Foundations
Software Science
Book title: Aagaard, M.; Harrison, J. (ed.), Theorem Proving in Higher Order Logics :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Page start: p. 162
Page end: p. 178

This item appears in the following Collection(s)

Browse

Statistics