×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–3)

Schmidt-Schauß, Manfred (ed.) et al., First international workshop on rewriting techniques for program transformations and evaluation, WPTE’14, Vienna, Austria, July 13, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 40, 27-38 (2014).
MSC:  68N30 68Q42
BibTeX Cite
Full Text: DOI
Albert, Elvira (ed.), Logic-based program synthesis and transformation. 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18–20, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-38196-6/pbk). Lecture Notes in Computer Science 7844, 155-175 (2013).
MSC:  68N30 68N18 68Q42
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software