Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Universiteit Leiden
Leiden Institute of Advanced Computer Science (LIACS)
Address
Niels Bohrweg 1
2333 CA Leiden
Niederlande
2333 CA Leiden
Projects
Research Grants
Current projects
Definability of Tree Transformations
(Applicant
Maneth, Sebastian
)
Completed projects
Early Saiva Mythology: a study of the formative period of an integrated religious vision
(Applicant
Isaacson, Harunaga
)
MOBI-J-II: Formal Methods for Components and Objects
(Applicant
de Roever, Willem-Paul
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung