Forschungstreffen 99192
4th International Workshop on Termination
( 10. May – 12. May, 1999 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/99192
Organisator
- J. Giesel (Darmstadt)
Kontakt
Externe Veranstaltungsseite
Impacts
- Fourth international workshop on termination : Dagstuhl, Germany, May 10 - 12, 1999 : abstracts = WST 99 - Cichon, Adam; Dershowitz, Nachum; Giesl, Jürgen; Lescanne, Pierre; Martin, Ursula; Zantema, Hans - Dagstuhl, 1999. - 62 S..
- Termination : special issue - Giesl, Jürgen; Lescanne, Pierre - Berlin : Springer, 2001 - (Applicable algebra in engineering, communication and computing : 12. 2001, 1/2, S. 1-196).
