Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universiteit Leiden
Leiden Institute of Advanced Computer Science (LIACS)

Adresse Niels Bohrweg 1
2333 CA Leiden
Niederlande

2333 CA Leiden

Projekte

Sachbeihilfen
- laufende Projekte
  - Definierbarkeit von Baumtransformationen
    (Antragsteller Maneth, Sebastian )
- abgeschlossene Projekte
  - Early Saiva Mythology: a study of the formative period of an integrated religious vision
    (Antragsteller Isaacson, Harunaga )
  - MOBI-J-II: Formal Methods for Components and Objects
    (Antragsteller de Roever, Willem-Paul )

© 2024 DFG Kontakt / Impressum / Datenschutz