[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 3603 || Alpha-Structural Recursion and Induction

✍ Scribed by Hurd, Joe; Melham, Tom

• Book ID: 121453021
• Publisher: Springer Berlin Heidelberg
• Year: 2005
• Tongue: German
• Weight: 597 KB
• Category: Article
• ISBN: 3540318208
• DOI: 10.1007/11541868_2

✦ Synopsis

This Volume Constitutes The Proceedings Of The 18th International Conference On Theorem Proving In Higher Order Logics (tphols 2005), Which Was Held During22–25august2005inoxford,uk.tpholscoversallaspectsoftheorem Proving In Higher Order Logics As Well As Related Topics In Theorem Proving And Veri?cation. There Were 49 Papers Submitted To Tphols 2005 In The Full Research C- Egory, Each Of Which Was Refereed By At Least Three Reviewers Selected By The Programcommittee. Of These Submissions, 20 Researchpapersand 4 Proof Pearls Were Accepted For Presentation At The Conference And Publication In This Volume. In Keeping With Longstanding Tradition, Tphols 2005 Also O?ered A Venue For The Presentation Of Work In Progress, Where Researchers Invited Discussion By Means Of A Brief Introductory Talk And Then Discussed Their Work At A Poster Session. A Supplementary Proceedings Volume Was Published As A 2005 Technical Report Of The Oxford University Computing Laboratory. The Organizers Are Grateful To Wolfgang Paul And Andrew Pitts For Agreeing To Give Invited Talks At Tphols 2005.