Please use this identifier to cite or link to this item:
|Title:||Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction|
|Authors:||Ambler, Simon J.|
Crole, Roy L.
|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|
|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.