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

Detailseite

Institution

Druckansicht

Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Fachbereich Informatik
Arbeitsgruppe Automated Reasoning

Adresse Gottlieb-Daimler-Straße
67663 Kaiserslautern
Deutschland

GERiT Diese Institution in GERiT

67663 Kaiserslautern

Projekte

Sachbeihilfen
- laufende Projekte
  - Gerichtete ramseysche Quantoren mit Anwendungen in der formalen Verifikation
    (Antragsteller Lin, Anthony )

© 2024 DFG Kontakt / Impressum / Datenschutz