Proving Termination of Integer Term Rewriting

Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke

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

OriginalsprogEngelsk
TitelProceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09)
Antal sider15
ForlagSpringer
Publikationsdato2009
DOI
StatusUdgivet - 2009
BegivenhedInternational Conference on Rewriting Techniques and Applications (RTA '09) - Brasilia, Brasilien
Varighed: 24. aug. 2010 → …
Konferencens nummer: 20

Konference

KonferenceInternational Conference on Rewriting Techniques and Applications (RTA '09)
Nummer20
LandBrasilien
ByBrasilia
Periode24/08/2010 → …

Citer dette

Fuhs, C., Giesl, J., Plücker, M., Schneider-Kamp, P., & Falke, S. (2009). Proving Termination of Integer Term Rewriting. I Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09) Springer. https://doi.org/10.1007/978-3-642-02348-4_3
Fuhs, Carsten ; Giesl, Jürgen ; Plücker, Martin ; Schneider-Kamp, Peter ; Falke, Stephan. / Proving Termination of Integer Term Rewriting. Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09). Springer, 2009.
@inproceedings{1147695047bc11deb5e8000ea68e967b,
title = "Proving Termination of Integer Term Rewriting",
author = "Carsten Fuhs and J{\"u}rgen Giesl and Martin Pl{\"u}cker and Peter Schneider-Kamp and Stephan Falke",
year = "2009",
doi = "10.1007/978-3-642-02348-4_3",
language = "English",
booktitle = "Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09)",
publisher = "Springer",
address = "Germany",

}

Fuhs, C, Giesl, J, Plücker, M, Schneider-Kamp, P & Falke, S 2009, Proving Termination of Integer Term Rewriting. i Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09). Springer, International Conference on Rewriting Techniques and Applications (RTA '09), Brasilia, Brasilien, 24/08/2010. https://doi.org/10.1007/978-3-642-02348-4_3

Proving Termination of Integer Term Rewriting. / Fuhs, Carsten; Giesl, Jürgen; Plücker, Martin; Schneider-Kamp, Peter; Falke, Stephan.

Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09). Springer, 2009.

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

TY - GEN

T1 - Proving Termination of Integer Term Rewriting

AU - Fuhs, Carsten

AU - Giesl, Jürgen

AU - Plücker, Martin

AU - Schneider-Kamp, Peter

AU - Falke, Stephan

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-02348-4_3

DO - 10.1007/978-3-642-02348-4_3

M3 - Article in proceedings

BT - Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09)

PB - Springer

ER -

Fuhs C, Giesl J, Plücker M, Schneider-Kamp P, Falke S. Proving Termination of Integer Term Rewriting. I Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09). Springer. 2009 https://doi.org/10.1007/978-3-642-02348-4_3