Loops under Strategies ... Continued

René Thiemann, Christian Sternagel, Jürgen Giesl, Peter Schneider-Kamp

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelProceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10)
Vol/bind44
ForlagElectronic Proceedings in Theoretical Computer Science
Publikationsdato2010
StatusUdgivet - 2010
BegivenhedInternational Workshop on Strategies in Rewriting, Proving, and Programming (IWS~'10) - Edinburgh, Storbritannien
Varighed: 9. jul. 20109. jul. 2010

Konference

KonferenceInternational Workshop on Strategies in Rewriting, Proving, and Programming (IWS~'10)
LandStorbritannien
ByEdinburgh
Periode09/07/201009/07/2010

Citer dette

Thiemann, R., Sternagel, C., Giesl, J., & Schneider-Kamp, P. (2010). Loops under Strategies ... Continued. I Proceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10) (Bind 44). Electronic Proceedings in Theoretical Computer Science.
Thiemann, René ; Sternagel, Christian ; Giesl, Jürgen ; Schneider-Kamp, Peter. / Loops under Strategies ... Continued. Proceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10). Bind 44 Electronic Proceedings in Theoretical Computer Science, 2010.
@inproceedings{1a99bb07318542119de256a51555c75a,
title = "Loops under Strategies ... Continued",
author = "Ren{\'e} Thiemann and Christian Sternagel and J{\"u}rgen Giesl and Peter Schneider-Kamp",
year = "2010",
language = "English",
volume = "44",
booktitle = "Proceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10)",
publisher = "Electronic Proceedings in Theoretical Computer Science",

}

Thiemann, R, Sternagel, C, Giesl, J & Schneider-Kamp, P 2010, Loops under Strategies ... Continued. i Proceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10). bind 44, Electronic Proceedings in Theoretical Computer Science, International Workshop on Strategies in Rewriting, Proving, and Programming (IWS~'10), Edinburgh, Storbritannien, 09/07/2010.

Loops under Strategies ... Continued. / Thiemann, René; Sternagel, Christian; Giesl, Jürgen; Schneider-Kamp, Peter.

Proceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10). Bind 44 Electronic Proceedings in Theoretical Computer Science, 2010.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Loops under Strategies ... Continued

AU - Thiemann, René

AU - Sternagel, Christian

AU - Giesl, Jürgen

AU - Schneider-Kamp, Peter

PY - 2010

Y1 - 2010

M3 - Article in proceedings

VL - 44

BT - Proceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10)

PB - Electronic Proceedings in Theoretical Computer Science

ER -

Thiemann R, Sternagel C, Giesl J, Schneider-Kamp P. Loops under Strategies ... Continued. I Proceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10). Bind 44. Electronic Proceedings in Theoretical Computer Science. 2010