×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 233-253 (2018).
MSC:  68Q60 68W30
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 18, 21 p. (2017).
MSC:  68Q60 68W30 91A43
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 283-294 (2011).
MSC:  68Q60 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Joe (ed.) et al., Modeling data irregularities and structural complexities in data envelopment analysis. New York, NY: Springer (ISBN 978-0-387-71606-0/hbk). 241-259 (2007).
MSC:  90B50
PDF BibTeX XML Cite

Filter Results by …

Document Type
Year of Publication
Classification
Software