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}
|
