×

Found 6 Documents (Results 1–6)

A sequent calculus for a semi-associative law. (English) Zbl 1434.03140

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 33, 16 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Non-crossing tree realizations of ordered degree sequences. (English) Zbl 1485.03071

Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10054, 211-227 (2016).
MSC:  03B65 03G30 03F07
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software