文档介绍：Lecture Notes puter Science 2410
Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
1
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Tokyo
Victor A. Carre˜no
César A. Mu˜noz Sofiène Tahar (Eds.)
Theorem Proving
in Higher Order Logics
15th International Conference, TPHOLs 2002
Hampton, VA, USA, August 20-23, 2002
Proceedings
11
Series Editors
Gerhard Goos, Karlsruhe University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, Utrecht University, herlands
Volume Editors
Victor A. Carre˜no
NASA Langley Research Center
MS 130, Hampton, VA 23681, USA
E-mail: .******@
César A. Mu˜noz
ICASE-Langley Research Center
MS 132C, Hampton, VA 23681, USA
E-mail: ******@
Sofiène Tahar
Concordia University, Electrical puter Engineering
1455 de Maisonneuve Blvd. W.
Montréal, Québec H3G 1M8, Canada
E-Mail: ******@
Cataloging-in-Publication Data applied for
Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Theorem proving in higher order logics : 15th international conference ;
proceedings / TPHOLs 2002, Hampton, VA, USA, August 20 - 23, 2002.
Victor A. Carreno (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ;
Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2002
(Lecture notes puter science ; Vol. 2410)
ISBN 3-540-44039-9
CR Subject Classification (1998): , , , ,
ISSN 0302-9743
ISBN 3-540-44039-9 Springer-Verlag 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,