Project Details
[Q-Shape] Reasoning about Paths, Shapes, and Configurations (02 - R03)
Subject Area
Theoretical Computer Science
Term
from 2003 to 2014
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5485810
No abstract available
DFG Programme
CRC/Transregios
Applicant Institution
Universität Bremen
Project Heads
Dr.-Ing. Frank Dylla; Professor Christian Freksa, Ph.D. (†); Professor Dr. Diedrich Wolter