文档介绍：Joe Hurd Tom Melham (Eds.)
Theorem Proving
in Higher Order Logics
18th International Conference, TPHOLs 2005
Oxford, UK, August 22-25, 2005
Proceedings
13
Volume Editors
Joe Hurd
Oxford puting Laboratory
Wolfson Building, Parks Road, Oxford, OX1 3QD, UK
E-mail:
Tom Melham
Oxford puting Laboratory
Wolfson Building, Parks Road Oxford, OX1 3QD, UK
E-mail:
Library of Congress Control Number: 2005930490
CR Subject Classification (1998): , , , ,
ISSN 0302-9743
ISBN-10 3-540-28372-2 Springer Berlin Heidelberg New York
ISBN-13 978-3-540-28372-0 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,
in its current version, and permission for use must always be obtained from Springer. Violations are liable
to prosecution under the German Copyright Law.
Springer is a part of Springer Science+Business Media
© Springer-Verlag Berlin Heidelberg 2005
Printed in Germany
Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India
Printed on acid-free paper SPIN: 11541868 06/3142 5 4 3 2 1 0
Preface
This volume constitutes the proceedings of the 18th International Conference
on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held
during 22–25 August 2005 in Oxford, UK. TPHOLs covers all aspects of theorem
proving in higher order logics as well as related topics in theorem proving and
verification.
There were 49 papers submitted to TPHOLs 2005 in the full research cat-
egory, each of which was refereed by at least three review