×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
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, 39-50 (2014).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI