Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/3439
Title: Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction
Authors: Ambler, Simon J.
Crole, Roy L.
Momigliano, Alberto
First Published: 2002
Citation: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, 20th - 23rd August, Hampton, VA, USA. Volume 2410 of Lecture Notes in Computer Science, pp. 1-30
ISBN: 3540440399
Links: http://dx.doi.org/10.1007/3-540-45685-6_3
http://hdl.handle.net/2381/3439
Type: Conference paper
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.