×

zbMATH — the first resource for mathematics

Found 36 Documents (Results 1–3)

Lecture Notes in Computer Science 10693. Cham: Springer (ISBN 978-3-319-72452-2/pbk; 978-3-319-72453-9/ebook). xi, 462 p. (2017).
MSC:  68-06 65-06 00B25
BibTeX Cite
Full Text: DOI
WorldCat.org
Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6--8, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-63138-7/pbk; 978-3-319-63139-4/ebook). Lecture Notes in Computer Science 10184, 328-344 (2017).
MSC:  68N30
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software