×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48898-0/pbk; 978-3-662-48899-7/ebook). Lecture Notes in Computer Science 9450, 549-557 (2015).
MSC:  03B70 68T27
BibTeX Cite
Full Text: DOI
Garrigue, Jacques (ed.), Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17–19, 2014, Proceedings. Berlin: Springer (ISBN 978-3-319-12735-4/pbk). Lecture Notes in Computer Science 8858, 334-353 (2014).
MSC:  68Nxx
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification
Software