×

Found 3 Documents (Results 1–3)

Mechanizing focused linear logic in Coq. (English) Zbl 1433.68586

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 219-236 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Focusing in linear meta-logic. (English) Zbl 1165.03331

Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 507-522 (2008).
MSC:  03B70 03F52
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software