×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–3)

Gupta, Gopal (ed.); Peña, Ricardo (ed.)
Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. (English) Zbl 1320.68017
Lecture Notes in Computer Science 8901. Cham: Springer (ISBN 978-3-319-14124-4/pbk; 978-3-319-14125-1/ebook). xii, 237 p. (2014).
MSC:  68-06 68N30 00B25
BibTeX Cite
\textit{G. Gupta} (ed.) and \textit{R. Peña} (ed.), Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers. Cham: Springer (2014; Zbl 1320.68017)
Full Text: DOI
WorldCat.org
Dal Lago, Ugo (ed.); Peña, Ricardo (ed.)
Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013. Revised selected papers. (English) Zbl 1326.68011
Lecture Notes in Computer Science 8552. Cham: Springer (ISBN 978-3-319-12465-0/pbk; 978-3-319-12466-7/ebook). ix, 161 p. (2014).
MSC:  68-06 68Nxx 68Qxx 00B25
BibTeX Cite
\textit{U. Dal Lago} (ed.) and \textit{R. Peña} (ed.), Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29--31, 2013. Revised selected papers. Cham: Springer (2014; Zbl 1326.68011)
Full Text: DOI
WorldCat.org
Loidl, Hans-Wolfgang (ed.); Peña, Ricardo (ed.)
Trends in functional programming. 13th international symposium, TFP 2012, St. Andrews, UK, June 12–14, 2012. Revised selected papers. (English) Zbl 1269.68024
Lecture Notes in Computer Science 7829. Berlin: Springer (ISBN 978-3-642-40446-7/pbk). x, 311 p. (2013).
MSC:  68-06 68N18 00B25
BibTeX Cite
\textit{H.-W. Loidl} (ed.) and \textit{R. Peña} (ed.), Trends in functional programming. 13th international symposium, TFP 2012, St. Andrews, UK, June 12--14, 2012. Revised selected papers. Berlin: Springer (2013; Zbl 1269.68024)
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Volume
Year of Publication
Classification
Software