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

@ARTICLE{bp:346, author = "Alberto Momigliano and Brigitte Pientka", title = "Proceeding of the International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'06), Seattle, WA, USA", pages = "1--2", journal = "Electronic Notes Theoretical Computer Science(ENTCS)", url = {http://dx.doi.org/10.1016/j.entcs.2007.01.015}, volume = "174", number = "5", year = 2007}