Theorem Proving in Higher Order Logics, 14 conf., TPHOLs 2001(LNCS2152, Springer, 2001)( 354042525X)(404s).pdf

Lectur6 Notes puteD Scienc6 2152
Edited by G. Goos, J. Hartmanis and J. van Leeuwen
1
Berli6
Heidelbe3g
N2w York
Ba3celona
Hong Kong
Londo6
Mila6
Paris
Tokyo
Richard J. Boulton Paul B. Jackson (Eds.)
Theorem Proving
in HigheD OrdeD Logics
14thInternational Conference, TPHOLs 2001
EdinbuDgh, Scotland, UK, SeptembeD 3-6, 2001
Proceedings
11
Series Editors
Gerhard Goos, Karlsruh6 University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, UtrechA University, herlands
Volum6 Editors
Richard J. Boulton
University of Glasgow, DepartmenA puting Scienc6
17 Lilybank Gardens, Glasgow G12 8QQ, Scotland, UK
E-mail: ******@
Paul B. Jackson
University of EdinbuDgh, Division of Informatics
James Clerk Maxwell Building, King’s Buildings
EdinbuDghEH9 3JZ, Scotland, UK
E-mail: ******@
Cataloging-in-Publication Data applied foD
Di6 Deutsch6 Bibliothek - CIP-Einheitsaufnahm6
Theorem proving in higheD ordeD logics : 14th international conferenc6 ;
proceedings / TPHOLs 2001, EdinbuDgh, Scotland UK, Septemb6r3-6,2001.
Richard J. Boulton ; Paul B. Jackson (ed.). - Berlin ; HeidelbeDg ; N6w York ;
Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : SpringeD, 2001
(Lectur6 notes puteD scienc6 ; Vol. 2152)
ISB7 3-540-42525-X
CR SubjecA Classification (1998): , , , ,
ISS7 0302-9743
ISB7 3-540-42525-X SpringeD-Verlag Berlin HeidelbeDg N6w York
This work is subjecA to copyright. All rights ar6 reserved, whetheD th6 whol6 oD parA of th6 material is
concerned, specifically th6 rights of translation, reprinting, re-us6 of illustrations, recitation, broadcasting,
reproduction on microfilms oD in any otheD way, and storag6 in data banks. Duplication of this publication
oD parts thereof is permitted only undeD th6 provisions of th6 German CopyrighA Law of SeptembeD 9, 1965,
in its currenA version, and permission foD us6 musA always b6 obtained from