Forschungstreffen 99052: Dynamic Logic

TOP

Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:

Schloss Dagstuhl Services

Seminare

Innerhalb dieser Seite:

Externe Seiten:

DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)

Publishing

Innerhalb dieser Seite:

siehe Über Publishing und Unterseiten

Externe Seiten:

DROPS (der Publikationsserver von Dagstuhl)
die Webseite der Zeitschrift LITES
der Dagstuhl Submission Server (zum Einreichen von LIPIcs/OASIcs/DARTS Beiträgen)

dblp

Innerhalb dieser Seite:

siehe Über dblp und Unterseiten

Externe Seiten:

die Informatik-Bibliographiedatenbank dblp

Bitte wählen Sie ihre Rolle aus,
um passende Quick-Links zu erhalten.

Als LIPIcs/OASIcs Autor werden Sie per e-mail eingeladen, sich am Dagstuhl Submission Server zu registrierem. Der Server führt Sie dann durch den Veröffentlichungsprozess. Vorabinformationen finden Sie hier:

Suchen Sie...

Quick Links

Forschungstreffen 99052

Dynamic Logic

( 01. Feb – 03. Feb, 1999 )

Permalink

Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/99052

Organisatoren

J. van Eijck (Amsterdam)
M. Kohlhase (Univ. Saarbrücken)
M. Pinkal (Univ. Saarbrücken)

Seminar 99052

Impressum Kontakt Barrierefreiheit Datenschutz

Suche auf der Schloss Dagstuhl Webseite

Schloss Dagstuhl Services

Seminare

Innerhalb dieser Seite:

Externe Seiten:

Publishing

Innerhalb dieser Seite:

Externe Seiten:

dblp

Innerhalb dieser Seite:

Externe Seiten:

Permalink

Organisatoren

Kontakt

Externe Veranstaltungsseite

Impacts