% Proceedings of the 10th International Conference on
% Theorem Proving in Higher Order Logics
%
% The entry for the full proceedings is at the end of the file.

@InProceedings{TPHOLs97:AgFr,
   author = {S. Agerholm and J. Frost},
   title = {An {Isabelle}-Based Theorem Prover for {VDM-SL}},
   pages = {1--16},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Andr,
   author = {J. H. Andrews},
   title = {Executing Formal Specifications by Translation to Higher-Order
            Logic Programming},
   pages = {17--32},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:ArHe,
   author = {M. Archer and C. Heitmeyer},
   title = {Human-Style Theorem Proving Using {PVS}},
   pages = {33--48},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Cami,
   author = {A. J. Camilleri},
   title = {A Hybrid Approach to Verifying Liveness in a Symmetric
            Multi-Processor},
   pages = {49--67},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:ChHe,
   author = {B. Chetali and B. Heyd},
   title = {Formal Verification of Concurrent Programs in {LP} and in {Coq}:
            A Comparative Analysis},
   pages = {69--85},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Cons,
   author = {R. L. Constable},
   title = {{ML} Programming in Constructive Type Theory (Abstract)},
   pages = {87},
   note = {Invited paper},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:DeGM,
   author = {M. Devillers and D. Griffioen and O. M\"uller},
   title = {Possibly Infinite Sequences in Theorem Provers:
            A Comparative Study},
   pages = {89--104},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Dowe,
   author = {G. Dowek},
   title = {Proof Normalization for a First-Order Formulation of Higher-Order
            Logic},
   pages = {105--119},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:DuSc,
   author = {B. Dutertre and S. Schneider},
   title = {Using a {PVS} Embedding of {CSP} to Verify Authentication
            Protocols},
   pages = {121--136},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Harr,
   author = {J. Harrison},
   title = {Verifying the Accuracy of Polynomial Approximations in {HOL}},
   pages = {137--152},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Hirs,
   author = {D. Hirschkoff},
   title = {A Full Formalisation of $\pi$-Calculus Theory in the Calculus of
            Constructions},
   pages = {153--169},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Kapu,
   author = {D. Kapur},
   title = {Rewriting, Decision Procedures and Lemma Speculation for
            Automated Hardware Verification},
   pages = {171--182},
   note = {Invited paper},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:LavW,
   author = {T. L{\aa}ngbacka and J. von Wright},
   title = {Refining Reactive Systems in {HOL} Using Action Systems},
   pages = {183--197},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Mohr,
   author = {T. Mohri},
   title = {On Formalization of Bicategory Theory},
   pages = {199--214},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Nara,
   author = {W. Naraschewski},
   title = {Towards an Object-Oriented Progification Language},
   pages = {215--230},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Pele,
   author = {D. Peled},
   title = {Verification for Robust Specification},
   pages = {231--241},
   note = {Invited paper},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Sant,
   author = {T. Santen},
   title = {A Theory of Structured Model-Based Specifications in
            {Isabelle}/{HOL}},
   pages = {243--258},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Simo,
   author = {M. Simons},
   title = {Proof Presentation for {Isabelle}},
   pages = {259--274},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Slin,
   author = {K. Slind},
   title = {Derivation and Use of Induction Schemes in Higher-Order Logic},
   pages = {275--290},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Slot,
   author = {O. Slotosch},
   title = {Higher Order Quotients and their Implementation in
            {Isabelle} {HOL}},
   pages = {291--306},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Wenz,
   author = {M. Wenzel},
   title = {Type Classes and Overloading in Higher-Order Logic},
   pages = {307--322},
   crossref = {TPHOLs97}}

@InProceedings{TPHOLs97:Zamm,
   author = {V. Zammit},
   title = {A Comparative Study of {Coq} and {HOL}},
   pages = {323--337},
   crossref = {TPHOLs97}}

@Proceedings{TPHOLs97,
   title = {Proceedings of the 10th International Conference on
            Theorem Proving in Higher Order Logics (TPHOLs'97)},
   booktitle = {Proceedings of the 10th International Conference on
                Theorem Proving in Higher Order Logics (TPHOLs'97)},
   year = {1997},
   series = {Lecture Notes in Computer Science},
   volume = {1275},
   editor = {E. L. Gunter and A. Felty},
   publisher = {Springer},
   address = {Murray Hill, NJ, USA},
   month = {August}}