×

Found 8 Documents (Results 1–8)

Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing. (English) Zbl 1478.03081

Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9804, 43-59 (2016).
MSC:  03F52 03B65
PDFBibTeX XMLCite
Full Text: DOI HAL

Cyclic multiplicative proof nets of linear logic with an application to language parsing. (English) Zbl 1365.03039

Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-47708-3/pbk; 978-3-662-47709-0/ebook). Lecture Notes in Computer Science 9160, 53-68 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software