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