×

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

\(a\)-logic with arrows. (English) Zbl 1283.03064

Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 3-29 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Software