×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–3)

Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-94459-3/pbk; 978-3-319-94460-9/ebook). Lecture Notes in Computer Science 10855, 289-305 (2018).
MSC:  68N30
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software