Research Meeting 99192
4th International Workshop on Termination
( May 10 – May 12, 1999 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/99192
Organizer
- J. Giesel (Darmstadt)
Contact
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).
