Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Research Publication in BibTex Format

Research Areas
Research Labs
Workshops
Publications
Technical Reports

BibTex in ASCII

@INPROCEEDINGS{bp:340, author = "Brigitte Pientka", editor = "Klaus Schneider and Jens Brandt", title = "Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework {LF}", booktitle = "20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'07), Kaiserslautern, Germany", pages = "246--261", series = "Lecture Notes in Computer Science (LNCS 4732)", publisher = "Springer", year = 2007}