Specifying rewrite strategies for interactive exercises

B.J. Heeren, J.T. Jeuring, A. Gerdes

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	349-370
Number of pages	22
Journal	Mathematics in Computer Science
Volume	3
Issue number	3
Publication status	Published - May 2010

Cite this

@article{8ad156b6f8064d6cb1e87cda171cf81e,

title = "Specifying rewrite strategies for interactive exercises",

author = "B.J. Heeren and J.T. Jeuring and A. Gerdes",

year = "2010",

month = may,

language = "English",

volume = "3",

pages = "349--370",

journal = "Mathematics in Computer Science",

issn = "1661-8270",

publisher = "Birkhauser Verlag Basel",

number = "3",

}