×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Gramlich, Bernhard (ed.) et al., WRS 2002. Final proceedings of the 2nd international workshop on reduction strategies in rewriting and programming (FLoC satellite event), Copenhagen, Denmark, July 21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 6, 176-195 (2002).
MSC:  68Q42 68Q45
BibTeX Cite
Full Text: Link
WorldCat.org
Tison, Sophie (ed.), Rewriting techniques and applications. 13th international conference, RTA 2002, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43916-1). Lect. Notes Comput. Sci. 2378, 129-143 (2002).
MSC:  68Q45 68Q42
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification