×

Found 2 Documents (Results 1–2)

Term sequent logic. (English) Zbl 1347.68050

Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 87-106 (2009).
MSC:  68N18 03B40 03B70 03F05 68N17 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software