×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

100
MathJax
Vidal, Germán (ed.), Logic-based program synthesis and transformation. 21st international symposium, LOPSTR 2011. Odense, Denmark, July 18–20, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32210-5/pbk). Lecture Notes in Computer Science 7225, 73-89 (2012).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI