% Proceedings of the 8th International Workshop on
% Higher Order Logic Theorem Proving and its Applications
%
% The entry for the full proceedings is at the end of the file.

@InProceedings{HUG95:AitM,
   author = {{A\"{\i}t Mohamed}, O.},
   title = {Mechanizing a {\pi}-Calculus Equivalence in {HOL}},
   pages = {1--16},
   crossref = {HUG95}}

@InProceedings{HUG95:Ager,
   author = {S. Agerholm},
   title = {Non-Primitive Recursive Function Definitions},
   pages = {17--31},
   crossref = {HUG95}}

@InProceedings{HUG95:AgGo,
   author = {S. Agerholm and M. Gordon},
   title = {Experiments with {ZF} Set Theory in {HOL} and {Isabelle}},
   pages = {32--45},
   crossref = {HUG95}}

@InProceedings{HUG95:BlWi,
   author = {P. E. Black and P. J. Windley},
   title = {Automatically Synthesized Term Denotation Predicates: A Proof Aid},
   pages = {46--57},
   crossref = {HUG95}}

@InProceedings{HUG95:BoFi,
   author = {J.-P. Bodeveix and M. Filali},
   title = {On the Refinement of Symmetric Memory Protocols},
   pages = {58--74},
   crossref = {HUG95}}

@InProceedings{HUG95:Boul,
   author = {R. J. Boulton},
   title = {Combining Decision Procedures in the {HOL} System},
   pages = {75--89},
   crossref = {HUG95}}

@InProceedings{HUG95:Brac,
   author = {S. H. Brackin},
   title = {Deciding Cryptographic Protocol Adequacy with {HOL}},
   pages = {90--105},
   crossref = {HUG95}}

@InProceedings{HUG95:Busc,
   author = {H. Busch},
   title = {A Practical Method for Reasoning About Distributed Systems in a
            Theorem Prover},
   pages = {106--121},
   crossref = {HUG95}}

@InProceedings{HUG95:CoSy,
   author = {G. Collins and D. Syme},
   title = {A Theory of Finite Maps},
   pages = {122--137},
   crossref = {HUG95}}

@InProceedings{HUG95:Curz,
   author = {P. Curzon},
   title = {Virtual Theories},
   pages = {138--153},
   crossref = {HUG95}}

@InProceedings{HUG95:EiKu,
   author = {D. Eisenbiegler and R. Kumar},
   title = {An Automata Theory Dedicated Towards Formal Circuit Synthesis},
   pages = {154--169},
   crossref = {HUG95}}

@InProceedings{HUG95:GuLi,
   author = {E. L. Gunter and L. Libkin},
   title = {Interfacing {HOL90} with a Functional Database Query Language},
   pages = {170--185},
   crossref = {HUG95}}

@InProceedings{HUG95:Harr1,
   author = {J. Harrison},
   title = {Floating Point Verification in {HOL}},
   pages = {186--199},
   crossref = {HUG95}}

@InProceedings{HUG95:Harr2,
   author = {J. Harrison},
   title = {Inductive Definitions: Automation and Application},
   pages = {200--213},
   crossref = {HUG95}}

@InProceedings{HUG95:Kalv,
   author = {S. Kalvala},
   title = {A Formulation of {TLA} in {Isabelle}},
   pages = {214--228},
   crossref = {HUG95}}

@InProceedings{HUG95:KiCh,
   author = {J. D. Kim and S.-K. Chin},
   title = {Formal Verification of Serial Pipeline Multipliers},
   pages = {229--244},
   crossref = {HUG95}}

@InProceedings{HUG95:LRvW,
   author = {T. L{\aa}ngbacka and R. Ruk\u{s}\.{e}nas and J. von Wright},
   title = {{TkWinHOL}: A Tool for Window Inference in {HOL}},
   pages = {245--260},
   crossref = {HUG95}}

@InProceedings{HUG95:Loew,
   author = {P. N. Loewenstein},
   title = {Formal Verification of Counterflow Pipeline Architecture},
   pages = {261--276},
   crossref = {HUG95}}

@InProceedings{HUG95:Reet,
   author = {R. Reetz},
   title = {Deep Embedding {VHDL}},
   pages = {277--292},
   crossref = {HUG95}}

@InProceedings{HUG95:Rege,
   author = {F. Regensburger},
   title = {{HOLCF}: Higher Order Logic of Computable Functions},
   pages = {293--307},
   crossref = {HUG95}}

@InProceedings{HUG95:ScMo,
   author = {T. Schubert and S. Mocas},
   title = {A Mechanized Logic for Secure Key Escrow Protocol Verification},
   pages = {308--323},
   crossref = {HUG95}}

@InProceedings{HUG95:Syme,
   author = {D. Syme},
   title = {A New Interface for {HOL} --- Ideas, Issues and Implementation},
   pages = {324--339},
   crossref = {HUG95}}

@InProceedings{HUG95:Weli,
   author = {M. Welinder},
   title = {Very Efficient Conversions},
   pages = {340--352},
   crossref = {HUG95}}

@InProceedings{HUG95:Wong,
   author = {W. Wong},
   title = {Recording and Checking {HOL} Proofs},
   pages = {353--368},
   crossref = {HUG95}}

@InProceedings{HUG95:YNHT,
   author = {M. Yamamoto and S. Nishizaki and M. Hagiya and Y. Toda},
   title = {Formalization of Planar Graphs},
   pages = {369--384},
   crossref = {HUG95}}

@InProceedings{HUG95:ZBHLO,
   author = {C. Zhang and B. R. Becker and M. R. Heckman and K. Levitt and
             R. A. Olsson},
   title = {A Hierarchical Method for Reasoning About Distributed Programming
            Languages},
   pages = {385--400},
   crossref = {HUG95}}

@Proceedings{HUG95,
   title = {Proceedings of the 8th International Workshop on Higher Order
            Logic Theorem Proving and Its Applications},
   booktitle = {Proceedings of the 8th International Workshop on Higher Order
                Logic Theorem Proving and Its Applications},
   year = {1995},
   series = {Lecture Notes in Computer Science},
   volume = {971},
   editor = {E. T. Schubert and P. J. Windley and J. Alves-Foss},
   publisher = {Springer-Verlag},
   address = {Aspen Grove, UT, USA},
   month = {September}}