zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Pientka, B. (ed.) et al., Proceedings of the second international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2007), Bremen, Germany, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 196, 19-35 (2008).
MSC:  03B40 03B70
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication