×

Found 2 Documents (Results 1–2)

Proceedings of the first international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2006), Seattle, WA, USA, August 16, 2006. (English) Zbl 1273.68041

Electronic Notes in Theoretical Computer Science 174, No. 5. Amsterdam: Elsevier. 149 p., electronic only (2007).
MSC:  68-06 03B70 00B25
PDFBibTeX XMLCite
Full Text: Link

MERLIN 2001. Proceedings of the workshop on mechanized reasoning about languages with variable binding (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. (English) Zbl 1266.68006

Electronic Notes in Theoretical Computer Science 58, No. 1. Amsterdam: Elsevier. 116 p., electronic only (2001).
MSC:  68-06 68N18 68T15 00B25
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Year of Publication

Main Field

Software