https://www.dagstuhl.de/99192

10. – 12. Mai 1999, Event 99192

4th International Workshop on Termination

Organisator

J. Giesel (Darmstadt)

Auskunft zu diesem Event erteilt

Heike Clemens

Dokumente

Externe Homepage
Dagstuhl's Impact: Dokumente verfügbar

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.