Advertisement

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

  • Yves Bertot
  • Gilles Dowek
  • Laurent Théry
  • André Hirschowitz
  • Christine Paulin
Conference proceedings TPHOLs 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1690)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Norbert Völker
    Pages 5-18
  3. Holger Pfeifer, Harald Rueβ
    Pages 55-72
  4. Solange Coupet-Grimal, Line Jakubiec
    Pages 91-108
  5. Olga Caprotti, Arjeh M. Cohen
    Pages 109-112
  6. Venanzio Capretta
    Pages 131-148
  7. Florian Kammüller, Markus Wenzel, Lawrence C. Paulson
    Pages 149-165
  8. Don Syme
    Pages 203-220
  9. Simon J. Ambler, Roy L. Crole
    Pages 221-238
  10. Mark Staples
    Pages 239-254
  11. Klaus Schneider, Dirk W. Hoffmann
    Pages 255-272
  12. Bernd Grobauer, Olaf Müller
    Pages 273-289
  13. Dominique Bolignano
    Pages 291-291
  14. Haiyan Xiong, Paul Curzon, Sofiène Tahar
    Pages 293-310
  15. Joe Hurd
    Pages 311-321
  16. Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger
    Pages 323-340
  17. Nancy A. Day, Jeffrey J. Joyce
    Pages 341-358
  18. Back Matter
    Pages 359-359

About these proceedings

Keywords

Formal Specification Formal Verification Hardware Design Higher-Order Logics Theorem Proving proving verification

Editors and affiliations

  • Yves Bertot
    • 1
  • Gilles Dowek
    • 1
  • Laurent Théry
    • 1
  • André Hirschowitz
    • 2
  • Christine Paulin
    • 3
  1. 1.INRIA Sophia AntipolisSophia Antipolis CedexFrance
  2. 2.University of Nice - Sophia AntipolisNice Cedex 2France
  3. 3.University of Paris XIOrsay CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48256-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66463-5
  • Online ISBN 978-3-540-48256-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences