Electronic Notes in Theoretical Computer Science, Volume 196

Refine list

showing all ?? records

Volume 196, January 2008

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics